<TeXmacs|2.1>

<style|<tuple|tmdoc|old-spacing|framed-session|old-dots|chinese|old-lengths>>

<\body>
  <tmdoc-title|\<#793A\>\<#4F8B\>>

  \<#4F7F\>\<#7528\> <menu|Insert|Session|Graph>viz
  \<#63D2\>\<#5165\>\<#4E00\>\<#4E2A\><name|Graphviz>\<#8FDB\>\<#7A0B\>\<#3002\>

  \<#8F93\>\<#5165\><verbatim|help>\<#5E76\>\<#6309\>\<#4E0B\><key|return>\<#FF0C\>\<#53EF\>\<#4EE5\>\<#67E5\>\<#770B\>\<#6240\>\<#6709\>\<#53EF\>\<#4EE5\>\<#4F7F\>\<#7528\>\<#7684\>\<#547D\>\<#4EE4\>\<#FF0C\>\<#9664\>\<#4E86\><verbatim|help>\<#FF0C\>\<#5269\>\<#4E0B\>\<#7684\>\<#547D\>\<#4EE4\>\<#5B9E\>\<#9645\>\<#4E0A\>\<#548C\>\<#540C\>\<#540D\>\<#7684\>\<#547D\>\<#4EE4\>\<#884C\>\<#4E00\>\<#4E00\>\<#5BF9\>\<#5E94\>\<#3002\>\<#8F93\>\<#5165\>\<#76F8\>\<#5E94\>\<#7684\>\<#547D\>\<#4EE4\>\<#FF0C\>\<#5E76\>\<#6309\>\<#4E0B\><key|return>\<#5C31\>\<#53EF\>\<#4EE5\>\<#5207\>\<#6362\>\<#5230\>\<#76F8\>\<#5E94\>\<#7684\>\<#5E03\>\<#5C40\>\<#3002\><verbatim|dot>\<#662F\>\<#9ED8\>\<#8BA4\>\<#7684\>\<#5E03\>\<#5C40\>\<#547D\>\<#4EE4\>\<#FF0C\>\<#4E3B\>\<#8981\>\<#7528\>\<#4E8E\>\<#6709\>\<#5411\>\<#56FE\>\<#3002\>

  <\session|dot|default>
    <\output>
      dot - graphviz version 2.43.0 (0)
    </output>

    <\unfolded-io>
      dot]\ 
    <|unfolded-io>
      help
    <|unfolded-io>
      [help, dot, neato, twopi, circo, fdp, sfdp, patchwork, osage]

      dot - graphviz version 2.43.0 (0)
    </unfolded-io>

    <\unfolded-io>
      dot]\ 
    <|unfolded-io>
      neato
    <|unfolded-io>
      neato - graphviz version 2.43.0 (0)
    </unfolded-io>

    <\unfolded-io>
      neato]\ 
    <|unfolded-io>
      twopi
    <|unfolded-io>
      twopi - graphviz version 2.43.0 (0)
    </unfolded-io>

    <\input>
      twopi]\ 
    <|input>
      \;
    </input>
  </session>

  <section|\<#5E7B\>\<#884C\>><label|magicline>

  \<#4F60\>\<#53EF\>\<#4EE5\>\<#901A\>\<#8FC7\>\<#5E7B\>\<#884C\>\<#6765\>\<#63A7\>\<#5236\>\<#6240\>\<#751F\>\<#6210\>\<#7684\>\<#56FE\>\<#7247\>\<#3002\>Shell\<#811A\>\<#672C\>\<#4E2D\>\<#901A\>\<#5E38\>\<#4F1A\>\<#4F7F\>\<#7528\>\<#5E7B\>\<#884C\>\<#6765\>\<#6307\>\<#5B9A\>\<#6240\>\<#4F7F\>\<#7528\>\<#7684\>Shell\<#547D\>\<#4EE4\>\<#89E3\>\<#91CA\>\<#5668\>\<#FF0C\>\<#6BD4\>\<#5982\>
  <shell|#!/bin/bash> \<#3002\>\<#5728\><name|Graphviz>\<#63D2\>\<#4EF6\>\<#4E2D\>\<#FF0C\>\<#5982\>\<#679C\>\<#4E00\>\<#6BB5\>\<#4EE3\>\<#7801\>\<#7684\>\<#7B2C\>\<#4E00\>\<#884C\>\<#4EE5\>%\<#5F00\>\<#5934\>\<#FF0C\>\<#90A3\>\<#4E48\>\<#8FD9\>\<#4E00\>\<#884C\>\<#5C31\>\<#662F\>\<#5E7B\>\<#884C\>\<#3002\>\<#5982\>\<#679C\>\<#4E0D\>\<#4F7F\>\<#7528\>\<#5E7B\>\<#884C\>\<#FF0C\>\<#90A3\>\<#4E48\>\<#6211\>\<#4EEC\>\<#6240\>\<#4F7F\>\<#7528\>\<#7684\>\<#5E03\>\<#5C40\>\<#5C31\>\<#662F\>
  <verbatim|]>\<#7684\>\<#5DE6\>\<#8FB9\>\<#6240\>\<#63D0\>\<#793A\>\<#7684\>\<#3002\>

  <\session|dot|default>
    <\unfolded-io>
      twopi]\ 
    <|unfolded-io>
      %dot -width 400 // \<#56FE\>\<#4E00\>

      digraph G { label="Graph 1"; a -\<gtr\> b; a -\<gtr\> c; a -\<gtr\> d;
      a -\<gtr\> f; a -\<gtr\> g }
    <|unfolded-io>
      <image|<tuple|<#252150532D41646F62652D332E3020455053462D332E300A252543726561746F723A20677261706876697A2076657273696F6E20322E34332E30202830290A25255469746C653A20470A252550616765733A20310A2525426F756E64696E67426F783A20333620333620333836203137350A2525456E64436F6D6D656E74730A736176650A2525426567696E50726F6C6F670A2F446F7444696374203230302064696374206465660A446F744469637420626567696E0A0A2F73657475704C6174696E31207B0A6D61726B0A2F456E636F64696E67566563746F7220323536206172726179206465660A20456E636F64696E67566563746F7220300A0A49534F4C6174696E31456E636F64696E6720302032353520676574696E74657276616C20707574696E74657276616C0A456E636F64696E67566563746F72203435202F68797068656E207075740A0A25205365742075702049534F204C6174696E20312063686172616374657220656E636F64696E670A2F737461726E657449534F207B0A2020202020202020647570206475702066696E64666F6E7420647570206C656E677468206469637420626567696E0A20202020202020207B203120696E646578202F464944206E65207B20646566207D7B20706F7020706F70207D206966656C73650A20202020202020207D20666F72616C6C0A20202020202020202F456E636F64696E6720456E636F64696E67566563746F72206465660A202020202020202063757272656E746469637420656E6420646566696E65666F6E740A7D206465660A2F54696D65732D526F6D616E20737461726E657449534F206465660A2F54696D65732D4974616C696320737461726E657449534F206465660A2F54696D65732D426F6C6420737461726E657449534F206465660A2F54696D65732D426F6C644974616C696320737461726E657449534F206465660A2F48656C76657469636120737461726E657449534F206465660A2F48656C7665746963612D4F626C6971756520737461726E657449534F206465660A2F48656C7665746963612D426F6C6420737461726E657449534F206465660A2F48656C7665746963612D426F6C644F626C6971756520737461726E657449534F206465660A2F436F757269657220737461726E657449534F206465660A2F436F75726965722D4F626C6971756520737461726E657449534F206465660A2F436F75726965722D426F6C6420737461726E657449534F206465660A2F436F75726965722D426F6C644F626C6971756520737461726E657449534F206465660A636C656172746F6D61726B0A7D2062696E64206465660A0A2525426567696E5265736F757263653A2070726F6373657420677261706876697A203020300A2F636F6F72642D666F6E742D66616D696C79202F54696D65732D526F6D616E206465660A2F64656661756C742D666F6E742D66616D696C79202F54696D65732D526F6D616E206465660A2F636F6F7264666F6E7420636F6F72642D666F6E742D66616D696C792066696E64666F6E742038207363616C65666F6E74206465660A0A2F496E765363616C65466163746F7220312E30206465660A2F7365745F7363616C65207B0A202020202020206475702031206578636820646976202F496E765363616C65466163746F722065786368206465660A202020202020207363616C650A7D2062696E64206465660A0A25207374796C65730A2F736F6C6964207B205B5D20302073657464617368207D2062696E64206465660A2F646173686564207B205B3920496E765363616C65466163746F72206D756C20647570205D20302073657464617368207D2062696E64206465660A2F646F74746564207B205B3120496E765363616C65466163746F72206D756C203620496E765363616C65466163746F72206D756C5D20302073657464617368207D2062696E64206465660A2F696E766973207B2F66696C6C207B6E6577706174687D20646566202F7374726F6B65207B6E6577706174687D20646566202F73686F77207B706F70206E6577706174687D206465667D2062696E64206465660A2F626F6C64207B2032207365746C696E657769647468207D2062696E64206465660A2F66696C6C6564207B207D2062696E64206465660A2F756E66696C6C6564207B207D2062696E64206465660A2F726F756E646564207B207D2062696E64206465660A2F646961676F6E616C73207B207D2062696E64206465660A2F74617065726564207B207D2062696E64206465660A0A2520686F6F6B7320666F722073657474696E6720636F6C6F72200A2F6E6F6465636F6C6F72207B20736574687362636F6C6F72207D2062696E64206465660A2F65646765636F6C6F72207B20736574687362636F6C6F72207D2062696E64206465660A2F6772617068636F6C6F72207B20736574687362636F6C6F72207D2062696E64206465660A2F6E6F70636F6C6F72207B706F7020706F7020706F707D2062696E64206465660A0A2F626567696E70616765207B09252069206A206E70616765730A092F6E70616765732065786368206465660A092F6A2065786368206465660A092F692065786368206465660A092F73747220313020737472696E67206465660A096E70616765732031206774207B0A090967736176650A090909636F6F7264666F6E7420736574666F6E740A090909302030206D6F7665746F0A090909285C28292073686F77206920737472206376732073686F7720282C292073686F77206A20737472206376732073686F7720285C29292073686F770A090967726573746F72650A097D2069660A7D2062696E64206465660A0A2F7365745F666F6E74207B0A0966696E64666F6E7420657863680A097363616C65666F6E7420736574666F6E740A7D206465660A0A25206472617720746578742066697474656420746F206974732065787065637465642077696474680A2F616C69676E656474657874207B0909092520776964746820746578740A092F746578742065786368206465660A092F77696474682065786368206465660A0967736176650A090977696474682030206774207B0A0909095B5D203020736574646173680A0909097465787420737472696E67776964746820706F702077696474682065786368207375622074657874206C656E6774682064697620302074657874206173686F770A09097D2069660A0967726573746F72650A7D206465660A0A2F626F787072696D207B09090909252078636F726E65722079636F726E6572207873697A65207973697A650A090934203220726F6C6C0A09096D6F7665746F0A09093220636F70790A090965786368203020726C696E65746F0A090930206578636820726C696E65746F0A0909706F70206E6567203020726C696E65746F0A0909636C6F7365706174680A7D2062696E64206465660A0A2F656C6C697073655F70617468207B0A092F72792065786368206465660A092F72782065786368206465660A092F792065786368206465660A092F782065786368206465660A096D61747269782063757272656E746D61747269780A096E6577706174680A09782079207472616E736C6174650A097278207279207363616C650A093020302031203020333630206172630A097365746D61747269780A7D2062696E64206465660A0A2F656E6470616765207B2073686F7770616765207D2062696E64206465660A2F73686F7770616765207B207D206465660A0A2F6C61796572636F6C6F727365710A095B0925206C6179657220636F6C6F722073657175656E6365202D206461726B65737420746F206C696768746573740A09095B30203020305D0A09095B2E32202E38202E385D0A09095B2E34202E38202E385D0A09095B2E36202E38202E385D0A09095B2E38202E38202E385D0A095D0A6465660A0A2F6C617965726C656E206C61796572636F6C6F72736571206C656E677468206465660A0A2F7365746C61796572207B2F6D61786C61796572206578636820646566202F6375726C617965722065786368206465660A096C61796572636F6C6F72736571206375726C61796572203120737562206C617965726C656E206D6F64206765740A09616C6F616420706F7020736574687362636F6C6F720A092F6E6F6465636F6C6F72207B6E6F70636F6C6F727D206465660A092F65646765636F6C6F72207B6E6F70636F6C6F727D206465660A092F6772617068636F6C6F72207B6E6F70636F6C6F727D206465660A7D2062696E64206465660A0A2F6F6E6C61796572207B206375726C61796572206E65207B696E7669737D206966207D206465660A0A2F6F6E6C6179657273207B0A092F6D7975707065722065786368206465660A092F6D796C6F7765722065786368206465660A096375726C61796572206D796C6F776572206C740A096375726C61796572206D7975707065722067740A096F720A097B696E7669737D2069660A7D206465660A0A2F6375726C617965722030206465660A0A2525456E645265736F757263650A2525456E6450726F6C6F670A2525426567696E53657475700A31342064656661756C742D666F6E742D66616D696C79207365745F666F6E740A25202F6172726F776C656E677468203130206465660A25202F6172726F7777696474682035206465660A0A25206D616B652073757265207064666D61726B206973206861726D6C65737320666F722050532D696E74657270726574657273206F74686572207468616E2044697374696C6C65720A2F7064666D61726B207768657265207B706F707D207B7573657264696374202F7064666D61726B202F636C656172746F6D61726B206C6F6164207075747D206966656C73650A25206D616B6520273C3C2720616E6420273E3E272073616665206F6E205053204C6576656C203120646576696365730A2F6C616E67756167656C6576656C207768657265207B706F70206C616E67756167656C6576656C7D7B317D206966656C73650A32206C74207B0A20202020757365726469637420283C3C292063766E20285B292063766E206C6F6164207075740A20202020757365726469637420283E3E292063766E20285B292063766E206C6F6164207075740A7D2069660A0A2525456E6453657475700A73657475704C6174696E310A2525506167653A203120310A252550616765426F756E64696E67426F783A20333620333620333836203137350A2525506167654F7269656E746174696F6E3A20506F7274726169740A302030203120626567696E706167650A67736176650A3336203336203335302031333920626F787072696D20636C6970206E6577706174680A312031207365745F7363616C65203020726F74617465203430203430207472616E736C6174650A3020302030206772617068636F6C6F720A3134202F54696D65732D526F6D616E207365745F666F6E740A31343220372E38206D6F7665746F2035382028477261706820312920616C69676E6564746578740A2520610A67736176650A31207365746C696E6577696474680A3020302030206E6F6465636F6C6F720A3137312031313320323720313820656C6C697073655F70617468207374726F6B650A3020302030206E6F6465636F6C6F720A3134202F54696D65732D526F6D616E207365745F666F6E740A3136362E35203130392E33206D6F7665746F20392028612920616C69676E6564746578740A67726573746F72650A2520620A67736176650A31207365746C696E6577696474680A3020302030206E6F6465636F6C6F720A323720343120323720313820656C6C697073655F70617468207374726F6B650A3020302030206E6F6465636F6C6F720A3134202F54696D65732D526F6D616E207365745F666F6E740A32322033372E33206D6F7665746F2031302028622920616C69676E6564746578740A67726573746F72650A2520612D3E620A67736176650A31207365746C696E6577696474680A30203020302065646765636F6C6F720A6E657770617468203134392E37353233203130312E36373133206D6F7665746F0A3132352E333938322038392E383332342038352E323831342037302E333331322035372E353732332035362E38363135206375727665746F0A7374726F6B650A30203020302065646765636F6C6F720A6E6577706174682035382E383538382035332E35393533206D6F7665746F0A34382E333334392035322E33373131206C696E65746F0A35352E373938342035392E38393039206C696E65746F0A636C6F7365706174682066696C6C0A31207365746C696E6577696474680A736F6C69640A30203020302065646765636F6C6F720A6E6577706174682035382E383538382035332E35393533206D6F7665746F0A34382E333334392035322E33373131206C696E65746F0A35352E373938342035392E38393039206C696E65746F0A636C6F736570617468207374726F6B650A67726573746F72650A2520630A67736176650A31207365746C696E6577696474680A3020302030206E6F6465636F6C6F720A393920343120323720313820656C6C697073655F70617468207374726F6B650A3020302030206E6F6465636F6C6F720A3134202F54696D65732D526F6D616E207365745F666F6E740A39352033372E33206D6F7665746F20382028632920616C69676E6564746578740A67726573746F72650A2520612D3E630A67736176650A31207365746C696E6577696474680A30203020302065646765636F6C6F720A6E657770617468203135362E343239372039372E38333435206D6F7665746F0A3134362E323530312038372E39333736203133322E343736312037342E35343632203132302E393639342036332E33353931206375727665746F0A7374726F6B650A30203020302065646765636F6C6F720A6E657770617468203132332E343035352036302E38343631206D6F7665746F0A3131332E373935372035362E33383437206C696E65746F0A3131382E353235392036352E383635206C696E65746F0A636C6F7365706174682066696C6C0A31207365746C696E6577696474680A736F6C69640A30203020302065646765636F6C6F720A6E657770617468203132332E343035352036302E38343631206D6F7665746F0A3131332E373935372035362E33383437206C696E65746F0A3131382E353235392036352E383635206C696E65746F0A636C6F736570617468207374726F6B650A67726573746F72650A2520640A67736176650A31207365746C696E6577696474680A3020302030206E6F6465636F6C6F720A31373120343120323720313820656C6C697073655F70617468207374726F6B650A3020302030206E6F6465636F6C6F720A3134202F54696D65732D526F6D616E207365745F666F6E740A3136362033372E33206D6F7665746F2031302028642920616C69676E6564746578740A67726573746F72650A2520612D3E640A67736176650A31207365746C696E6577696474680A30203020302065646765636F6C6F720A6E657770617468203137312039342E36393636206D6F7665746F0A3137312038362E39383237203137312037372E37313235203137312036392E31313234206375727665746F0A7374726F6B650A30203020302065646765636F6C6F720A6E657770617468203137342E353030312036392E31303433206D6F7665746F0A3137312035392E31303433206C696E65746F0A3136372E353030312036392E31303434206C696E65746F0A636C6F7365706174682066696C6C0A31207365746C696E6577696474680A736F6C69640A30203020302065646765636F6C6F720A6E657770617468203137342E353030312036392E31303433206D6F7665746F0A3137312035392E31303433206C696E65746F0A3136372E353030312036392E31303434206C696E65746F0A636C6F736570617468207374726F6B650A67726573746F72650A2520660A67736176650A31207365746C696E6577696474680A3020302030206E6F6465636F6C6F720A32343320343120323720313820656C6C697073655F70617468207374726F6B650A3020302030206E6F6465636F6C6F720A3134202F54696D65732D526F6D616E207365745F666F6E740A3234302033372E33206D6F7665746F20362028662920616C69676E6564746578740A67726573746F72650A2520612D3E660A67736176650A31207365746C696E6577696474680A30203020302065646765636F6C6F720A6E657770617468203138352E353730332039372E38333435206D6F7665746F0A3139352E373439392038372E39333736203230392E353233392037342E35343632203232312E303330362036332E33353931206375727665746F0A7374726F6B650A30203020302065646765636F6C6F720A6E657770617468203232332E343734312036352E383635206D6F7665746F0A3232382E323034332035362E33383437206C696E65746F0A3231382E353934352036302E38343631206C696E65746F0A636C6F7365706174682066696C6C0A31207365746C696E6577696474680A736F6C69640A30203020302065646765636F6C6F720A6E657770617468203232332E343734312036352E383635206D6F7665746F0A3232382E323034332035362E33383437206C696E65746F0A3231382E353934352036302E38343631206C696E65746F0A636C6F736570617468207374726F6B650A67726573746F72650A2520670A67736176650A31207365746C696E6577696474680A3020302030206E6F6465636F6C6F720A33313520343120323720313820656C6C697073655F70617468207374726F6B650A3020302030206E6F6465636F6C6F720A3134202F54696D65732D526F6D616E207365745F666F6E740A3331302033372E33206D6F7665746F2031302028672920616C69676E6564746578740A67726573746F72650A2520612D3E670A67736176650A31207365746C696E6577696474680A30203020302065646765636F6C6F720A6E657770617468203139322E32343737203130312E36373133206D6F7665746F0A3231362E363031382038392E38333234203235362E373138362037302E33333132203238342E343237372035362E38363135206375727665746F0A7374726F6B650A30203020302065646765636F6C6F720A6E657770617468203238362E323031362035392E38393039206D6F7665746F0A3239332E363635312035322E33373131206C696E65746F0A3238332E313431322035332E35393533206C696E65746F0A636C6F7365706174682066696C6C0A31207365746C696E6577696474680A736F6C69640A30203020302065646765636F6C6F720A6E657770617468203238362E323031362035392E38393039206D6F7665746F0A3239332E363635312035322E33373131206C696E65746F0A3238332E313431322035332E35393533206C696E65746F0A636C6F736570617468207374726F6B650A67726573746F72650A656E64706167650A73686F77706167650A67726573746F72650A252550616765547261696C65720A2525456E64506167653A20310A2525547261696C65720A656E640A726573746F72650A2525454F460A>|ps>|400px|||>
    </unfolded-io>

    <\unfolded-io>
      twopi]\ 
    <|unfolded-io>
      %dot -width 300 // \<#56FE\>\<#4E8C\>

      digraph G { label="Graph 2"; a -\<gtr\> b; a -\<gtr\> c; a -\<gtr\> d;
      a -\<gtr\> f; a -\<gtr\> g }
    <|unfolded-io>
      <image|<tuple|<#252150532D41646F62652D332E3020455053462D332E300A252543726561746F723A20677261706876697A2076657273696F6E20322E34332E30202830290A25255469746C653A20470A252550616765733A20310A2525426F756E64696E67426F783A20333620333620333836203137350A2525456E64436F6D6D656E74730A736176650A2525426567696E50726F6C6F670A2F446F7444696374203230302064696374206465660A446F744469637420626567696E0A0A2F73657475704C6174696E31207B0A6D61726B0A2F456E636F64696E67566563746F7220323536206172726179206465660A20456E636F64696E67566563746F7220300A0A49534F4C6174696E31456E636F64696E6720302032353520676574696E74657276616C20707574696E74657276616C0A456E636F64696E67566563746F72203435202F68797068656E207075740A0A25205365742075702049534F204C6174696E20312063686172616374657220656E636F64696E670A2F737461726E657449534F207B0A2020202020202020647570206475702066696E64666F6E7420647570206C656E677468206469637420626567696E0A20202020202020207B203120696E646578202F464944206E65207B20646566207D7B20706F7020706F70207D206966656C73650A20202020202020207D20666F72616C6C0A20202020202020202F456E636F64696E6720456E636F64696E67566563746F72206465660A202020202020202063757272656E746469637420656E6420646566696E65666F6E740A7D206465660A2F54696D65732D526F6D616E20737461726E657449534F206465660A2F54696D65732D4974616C696320737461726E657449534F206465660A2F54696D65732D426F6C6420737461726E657449534F206465660A2F54696D65732D426F6C644974616C696320737461726E657449534F206465660A2F48656C76657469636120737461726E657449534F206465660A2F48656C7665746963612D4F626C6971756520737461726E657449534F206465660A2F48656C7665746963612D426F6C6420737461726E657449534F206465660A2F48656C7665746963612D426F6C644F626C6971756520737461726E657449534F206465660A2F436F757269657220737461726E657449534F206465660A2F436F75726965722D4F626C6971756520737461726E657449534F206465660A2F436F75726965722D426F6C6420737461726E657449534F206465660A2F436F75726965722D426F6C644F626C6971756520737461726E657449534F206465660A636C656172746F6D61726B0A7D2062696E64206465660A0A2525426567696E5265736F757263653A2070726F6373657420677261706876697A203020300A2F636F6F72642D666F6E742D66616D696C79202F54696D65732D526F6D616E206465660A2F64656661756C742D666F6E742D66616D696C79202F54696D65732D526F6D616E206465660A2F636F6F7264666F6E7420636F6F72642D666F6E742D66616D696C792066696E64666F6E742038207363616C65666F6E74206465660A0A2F496E765363616C65466163746F7220312E30206465660A2F7365745F7363616C65207B0A202020202020206475702031206578636820646976202F496E765363616C65466163746F722065786368206465660A202020202020207363616C650A7D2062696E64206465660A0A25207374796C65730A2F736F6C6964207B205B5D20302073657464617368207D2062696E64206465660A2F646173686564207B205B3920496E765363616C65466163746F72206D756C20647570205D20302073657464617368207D2062696E64206465660A2F646F74746564207B205B3120496E765363616C65466163746F72206D756C203620496E765363616C65466163746F72206D756C5D20302073657464617368207D2062696E64206465660A2F696E766973207B2F66696C6C207B6E6577706174687D20646566202F7374726F6B65207B6E6577706174687D20646566202F73686F77207B706F70206E6577706174687D206465667D2062696E64206465660A2F626F6C64207B2032207365746C696E657769647468207D2062696E64206465660A2F66696C6C6564207B207D2062696E64206465660A2F756E66696C6C6564207B207D2062696E64206465660A2F726F756E646564207B207D2062696E64206465660A2F646961676F6E616C73207B207D2062696E64206465660A2F74617065726564207B207D2062696E64206465660A0A2520686F6F6B7320666F722073657474696E6720636F6C6F72200A2F6E6F6465636F6C6F72207B20736574687362636F6C6F72207D2062696E64206465660A2F65646765636F6C6F72207B20736574687362636F6C6F72207D2062696E64206465660A2F6772617068636F6C6F72207B20736574687362636F6C6F72207D2062696E64206465660A2F6E6F70636F6C6F72207B706F7020706F7020706F707D2062696E64206465660A0A2F626567696E70616765207B09252069206A206E70616765730A092F6E70616765732065786368206465660A092F6A2065786368206465660A092F692065786368206465660A092F73747220313020737472696E67206465660A096E70616765732031206774207B0A090967736176650A090909636F6F7264666F6E7420736574666F6E740A090909302030206D6F7665746F0A090909285C28292073686F77206920737472206376732073686F7720282C292073686F77206A20737472206376732073686F7720285C29292073686F770A090967726573746F72650A097D2069660A7D2062696E64206465660A0A2F7365745F666F6E74207B0A0966696E64666F6E7420657863680A097363616C65666F6E7420736574666F6E740A7D206465660A0A25206472617720746578742066697474656420746F206974732065787065637465642077696474680A2F616C69676E656474657874207B0909092520776964746820746578740A092F746578742065786368206465660A092F77696474682065786368206465660A0967736176650A090977696474682030206774207B0A0909095B5D203020736574646173680A0909097465787420737472696E67776964746820706F702077696474682065786368207375622074657874206C656E6774682064697620302074657874206173686F770A09097D2069660A0967726573746F72650A7D206465660A0A2F626F787072696D207B09090909252078636F726E65722079636F726E6572207873697A65207973697A650A090934203220726F6C6C0A09096D6F7665746F0A09093220636F70790A090965786368203020726C696E65746F0A090930206578636820726C696E65746F0A0909706F70206E6567203020726C696E65746F0A0909636C6F7365706174680A7D2062696E64206465660A0A2F656C6C697073655F70617468207B0A092F72792065786368206465660A092F72782065786368206465660A092F792065786368206465660A092F782065786368206465660A096D61747269782063757272656E746D61747269780A096E6577706174680A09782079207472616E736C6174650A097278207279207363616C650A093020302031203020333630206172630A097365746D61747269780A7D2062696E64206465660A0A2F656E6470616765207B2073686F7770616765207D2062696E64206465660A2F73686F7770616765207B207D206465660A0A2F6C61796572636F6C6F727365710A095B0925206C6179657220636F6C6F722073657175656E6365202D206461726B65737420746F206C696768746573740A09095B30203020305D0A09095B2E32202E38202E385D0A09095B2E34202E38202E385D0A09095B2E36202E38202E385D0A09095B2E38202E38202E385D0A095D0A6465660A0A2F6C617965726C656E206C61796572636F6C6F72736571206C656E677468206465660A0A2F7365746C61796572207B2F6D61786C61796572206578636820646566202F6375726C617965722065786368206465660A096C61796572636F6C6F72736571206375726C61796572203120737562206C617965726C656E206D6F64206765740A09616C6F616420706F7020736574687362636F6C6F720A092F6E6F6465636F6C6F72207B6E6F70636F6C6F727D206465660A092F65646765636F6C6F72207B6E6F70636F6C6F727D206465660A092F6772617068636F6C6F72207B6E6F70636F6C6F727D206465660A7D2062696E64206465660A0A2F6F6E6C61796572207B206375726C61796572206E65207B696E7669737D206966207D206465660A0A2F6F6E6C6179657273207B0A092F6D7975707065722065786368206465660A092F6D796C6F7765722065786368206465660A096375726C61796572206D796C6F776572206C740A096375726C61796572206D7975707065722067740A096F720A097B696E7669737D2069660A7D206465660A0A2F6375726C617965722030206465660A0A2525456E645265736F757263650A2525456E6450726F6C6F670A2525426567696E53657475700A31342064656661756C742D666F6E742D66616D696C79207365745F666F6E740A25202F6172726F776C656E677468203130206465660A25202F6172726F7777696474682035206465660A0A25206D616B652073757265207064666D61726B206973206861726D6C65737320666F722050532D696E74657270726574657273206F74686572207468616E2044697374696C6C65720A2F7064666D61726B207768657265207B706F707D207B7573657264696374202F7064666D61726B202F636C656172746F6D61726B206C6F6164207075747D206966656C73650A25206D616B6520273C3C2720616E6420273E3E272073616665206F6E205053204C6576656C203120646576696365730A2F6C616E67756167656C6576656C207768657265207B706F70206C616E67756167656C6576656C7D7B317D206966656C73650A32206C74207B0A20202020757365726469637420283C3C292063766E20285B292063766E206C6F6164207075740A20202020757365726469637420283E3E292063766E20285B292063766E206C6F6164207075740A7D2069660A0A2525456E6453657475700A73657475704C6174696E310A2525506167653A203120310A252550616765426F756E64696E67426F783A20333620333620333836203137350A2525506167654F7269656E746174696F6E3A20506F7274726169740A302030203120626567696E706167650A67736176650A3336203336203335302031333920626F787072696D20636C6970206E6577706174680A312031207365745F7363616C65203020726F74617465203430203430207472616E736C6174650A3020302030206772617068636F6C6F720A3134202F54696D65732D526F6D616E207365745F666F6E740A31343220372E38206D6F7665746F2035382028477261706820322920616C69676E6564746578740A2520610A67736176650A31207365746C696E6577696474680A3020302030206E6F6465636F6C6F720A3137312031313320323720313820656C6C697073655F70617468207374726F6B650A3020302030206E6F6465636F6C6F720A3134202F54696D65732D526F6D616E207365745F666F6E740A3136362E35203130392E33206D6F7665746F20392028612920616C69676E6564746578740A67726573746F72650A2520620A67736176650A31207365746C696E6577696474680A3020302030206E6F6465636F6C6F720A323720343120323720313820656C6C697073655F70617468207374726F6B650A3020302030206E6F6465636F6C6F720A3134202F54696D65732D526F6D616E207365745F666F6E740A32322033372E33206D6F7665746F2031302028622920616C69676E6564746578740A67726573746F72650A2520612D3E620A67736176650A31207365746C696E6577696474680A30203020302065646765636F6C6F720A6E657770617468203134392E37353233203130312E36373133206D6F7665746F0A3132352E333938322038392E383332342038352E323831342037302E333331322035372E353732332035362E38363135206375727665746F0A7374726F6B650A30203020302065646765636F6C6F720A6E6577706174682035382E383538382035332E35393533206D6F7665746F0A34382E333334392035322E33373131206C696E65746F0A35352E373938342035392E38393039206C696E65746F0A636C6F7365706174682066696C6C0A31207365746C696E6577696474680A736F6C69640A30203020302065646765636F6C6F720A6E6577706174682035382E383538382035332E35393533206D6F7665746F0A34382E333334392035322E33373131206C696E65746F0A35352E373938342035392E38393039206C696E65746F0A636C6F736570617468207374726F6B650A67726573746F72650A2520630A67736176650A31207365746C696E6577696474680A3020302030206E6F6465636F6C6F720A393920343120323720313820656C6C697073655F70617468207374726F6B650A3020302030206E6F6465636F6C6F720A3134202F54696D65732D526F6D616E207365745F666F6E740A39352033372E33206D6F7665746F20382028632920616C69676E6564746578740A67726573746F72650A2520612D3E630A67736176650A31207365746C696E6577696474680A30203020302065646765636F6C6F720A6E657770617468203135362E343239372039372E38333435206D6F7665746F0A3134362E323530312038372E39333736203133322E343736312037342E35343632203132302E393639342036332E33353931206375727665746F0A7374726F6B650A30203020302065646765636F6C6F720A6E657770617468203132332E343035352036302E38343631206D6F7665746F0A3131332E373935372035362E33383437206C696E65746F0A3131382E353235392036352E383635206C696E65746F0A636C6F7365706174682066696C6C0A31207365746C696E6577696474680A736F6C69640A30203020302065646765636F6C6F720A6E657770617468203132332E343035352036302E38343631206D6F7665746F0A3131332E373935372035362E33383437206C696E65746F0A3131382E353235392036352E383635206C696E65746F0A636C6F736570617468207374726F6B650A67726573746F72650A2520640A67736176650A31207365746C696E6577696474680A3020302030206E6F6465636F6C6F720A31373120343120323720313820656C6C697073655F70617468207374726F6B650A3020302030206E6F6465636F6C6F720A3134202F54696D65732D526F6D616E207365745F666F6E740A3136362033372E33206D6F7665746F2031302028642920616C69676E6564746578740A67726573746F72650A2520612D3E640A67736176650A31207365746C696E6577696474680A30203020302065646765636F6C6F720A6E657770617468203137312039342E36393636206D6F7665746F0A3137312038362E39383237203137312037372E37313235203137312036392E31313234206375727665746F0A7374726F6B650A30203020302065646765636F6C6F720A6E657770617468203137342E353030312036392E31303433206D6F7665746F0A3137312035392E31303433206C696E65746F0A3136372E353030312036392E31303434206C696E65746F0A636C6F7365706174682066696C6C0A31207365746C696E6577696474680A736F6C69640A30203020302065646765636F6C6F720A6E657770617468203137342E353030312036392E31303433206D6F7665746F0A3137312035392E31303433206C696E65746F0A3136372E353030312036392E31303434206C696E65746F0A636C6F736570617468207374726F6B650A67726573746F72650A2520660A67736176650A31207365746C696E6577696474680A3020302030206E6F6465636F6C6F720A32343320343120323720313820656C6C697073655F70617468207374726F6B650A3020302030206E6F6465636F6C6F720A3134202F54696D65732D526F6D616E207365745F666F6E740A3234302033372E33206D6F7665746F20362028662920616C69676E6564746578740A67726573746F72650A2520612D3E660A67736176650A31207365746C696E6577696474680A30203020302065646765636F6C6F720A6E657770617468203138352E353730332039372E38333435206D6F7665746F0A3139352E373439392038372E39333736203230392E353233392037342E35343632203232312E303330362036332E33353931206375727665746F0A7374726F6B650A30203020302065646765636F6C6F720A6E657770617468203232332E343734312036352E383635206D6F7665746F0A3232382E323034332035362E33383437206C696E65746F0A3231382E353934352036302E38343631206C696E65746F0A636C6F7365706174682066696C6C0A31207365746C696E6577696474680A736F6C69640A30203020302065646765636F6C6F720A6E657770617468203232332E343734312036352E383635206D6F7665746F0A3232382E323034332035362E33383437206C696E65746F0A3231382E353934352036302E38343631206C696E65746F0A636C6F736570617468207374726F6B650A67726573746F72650A2520670A67736176650A31207365746C696E6577696474680A3020302030206E6F6465636F6C6F720A33313520343120323720313820656C6C697073655F70617468207374726F6B650A3020302030206E6F6465636F6C6F720A3134202F54696D65732D526F6D616E207365745F666F6E740A3331302033372E33206D6F7665746F2031302028672920616C69676E6564746578740A67726573746F72650A2520612D3E670A67736176650A31207365746C696E6577696474680A30203020302065646765636F6C6F720A6E657770617468203139322E32343737203130312E36373133206D6F7665746F0A3231362E363031382038392E38333234203235362E373138362037302E33333132203238342E343237372035362E38363135206375727665746F0A7374726F6B650A30203020302065646765636F6C6F720A6E657770617468203238362E323031362035392E38393039206D6F7665746F0A3239332E363635312035322E33373131206C696E65746F0A3238332E313431322035332E35393533206C696E65746F0A636C6F7365706174682066696C6C0A31207365746C696E6577696474680A736F6C69640A30203020302065646765636F6C6F720A6E657770617468203238362E323031362035392E38393039206D6F7665746F0A3239332E363635312035322E33373131206C696E65746F0A3238332E313431322035332E35393533206C696E65746F0A636C6F736570617468207374726F6B650A67726573746F72650A656E64706167650A73686F77706167650A67726573746F72650A252550616765547261696C65720A2525456E64506167653A20310A2525547261696C65720A656E640A726573746F72650A2525454F460A>|ps>|300px|||>
    </unfolded-io>

    <\unfolded-io>
      twopi]\ 
    <|unfolded-io>
      %neato -width 400 // \<#56FE\>\<#4E09\>

      digraph G { label="Graph 3"; a -\<gtr\> b; a -\<gtr\> c; a -\<gtr\> d;
      a -\<gtr\> f; a -\<gtr\> g }
    <|unfolded-io>
      <image|<tuple|<#252150532D41646F62652D332E3020455053462D332E300A252543726561746F723A20677261706876697A2076657273696F6E20322E34332E30202830290A25255469746C653A20470A252550616765733A20310A2525426F756E64696E67426F783A20333620333620323532203235330A2525456E64436F6D6D656E74730A736176650A2525426567696E50726F6C6F670A2F446F7444696374203230302064696374206465660A446F744469637420626567696E0A0A2F73657475704C6174696E31207B0A6D61726B0A2F456E636F64696E67566563746F7220323536206172726179206465660A20456E636F64696E67566563746F7220300A0A49534F4C6174696E31456E636F64696E6720302032353520676574696E74657276616C20707574696E74657276616C0A456E636F64696E67566563746F72203435202F68797068656E207075740A0A25205365742075702049534F204C6174696E20312063686172616374657220656E636F64696E670A2F737461726E657449534F207B0A2020202020202020647570206475702066696E64666F6E7420647570206C656E677468206469637420626567696E0A20202020202020207B203120696E646578202F464944206E65207B20646566207D7B20706F7020706F70207D206966656C73650A20202020202020207D20666F72616C6C0A20202020202020202F456E636F64696E6720456E636F64696E67566563746F72206465660A202020202020202063757272656E746469637420656E6420646566696E65666F6E740A7D206465660A2F54696D65732D526F6D616E20737461726E657449534F206465660A2F54696D65732D4974616C696320737461726E657449534F206465660A2F54696D65732D426F6C6420737461726E657449534F206465660A2F54696D65732D426F6C644974616C696320737461726E657449534F206465660A2F48656C76657469636120737461726E657449534F206465660A2F48656C7665746963612D4F626C6971756520737461726E657449534F206465660A2F48656C7665746963612D426F6C6420737461726E657449534F206465660A2F48656C7665746963612D426F6C644F626C6971756520737461726E657449534F206465660A2F436F757269657220737461726E657449534F206465660A2F436F75726965722D4F626C6971756520737461726E657449534F206465660A2F436F75726965722D426F6C6420737461726E657449534F206465660A2F436F75726965722D426F6C644F626C6971756520737461726E657449534F206465660A636C656172746F6D61726B0A7D2062696E64206465660A0A2525426567696E5265736F757263653A2070726F6373657420677261706876697A203020300A2F636F6F72642D666F6E742D66616D696C79202F54696D65732D526F6D616E206465660A2F64656661756C742D666F6E742D66616D696C79202F54696D65732D526F6D616E206465660A2F636F6F7264666F6E7420636F6F72642D666F6E742D66616D696C792066696E64666F6E742038207363616C65666F6E74206465660A0A2F496E765363616C65466163746F7220312E30206465660A2F7365745F7363616C65207B0A202020202020206475702031206578636820646976202F496E765363616C65466163746F722065786368206465660A202020202020207363616C650A7D2062696E64206465660A0A25207374796C65730A2F736F6C6964207B205B5D20302073657464617368207D2062696E64206465660A2F646173686564207B205B3920496E765363616C65466163746F72206D756C20647570205D20302073657464617368207D2062696E64206465660A2F646F74746564207B205B3120496E765363616C65466163746F72206D756C203620496E765363616C65466163746F72206D756C5D20302073657464617368207D2062696E64206465660A2F696E766973207B2F66696C6C207B6E6577706174687D20646566202F7374726F6B65207B6E6577706174687D20646566202F73686F77207B706F70206E6577706174687D206465667D2062696E64206465660A2F626F6C64207B2032207365746C696E657769647468207D2062696E64206465660A2F66696C6C6564207B207D2062696E64206465660A2F756E66696C6C6564207B207D2062696E64206465660A2F726F756E646564207B207D2062696E64206465660A2F646961676F6E616C73207B207D2062696E64206465660A2F74617065726564207B207D2062696E64206465660A0A2520686F6F6B7320666F722073657474696E6720636F6C6F72200A2F6E6F6465636F6C6F72207B20736574687362636F6C6F72207D2062696E64206465660A2F65646765636F6C6F72207B20736574687362636F6C6F72207D2062696E64206465660A2F6772617068636F6C6F72207B20736574687362636F6C6F72207D2062696E64206465660A2F6E6F70636F6C6F72207B706F7020706F7020706F707D2062696E64206465660A0A2F626567696E70616765207B09252069206A206E70616765730A092F6E70616765732065786368206465660A092F6A2065786368206465660A092F692065786368206465660A092F73747220313020737472696E67206465660A096E70616765732031206774207B0A090967736176650A090909636F6F7264666F6E7420736574666F6E740A090909302030206D6F7665746F0A090909285C28292073686F77206920737472206376732073686F7720282C292073686F77206A20737472206376732073686F7720285C29292073686F770A090967726573746F72650A097D2069660A7D2062696E64206465660A0A2F7365745F666F6E74207B0A0966696E64666F6E7420657863680A097363616C65666F6E7420736574666F6E740A7D206465660A0A25206472617720746578742066697474656420746F206974732065787065637465642077696474680A2F616C69676E656474657874207B0909092520776964746820746578740A092F746578742065786368206465660A092F77696474682065786368206465660A0967736176650A090977696474682030206774207B0A0909095B5D203020736574646173680A0909097465787420737472696E67776964746820706F702077696474682065786368207375622074657874206C656E6774682064697620302074657874206173686F770A09097D2069660A0967726573746F72650A7D206465660A0A2F626F787072696D207B09090909252078636F726E65722079636F726E6572207873697A65207973697A650A090934203220726F6C6C0A09096D6F7665746F0A09093220636F70790A090965786368203020726C696E65746F0A090930206578636820726C696E65746F0A0909706F70206E6567203020726C696E65746F0A0909636C6F7365706174680A7D2062696E64206465660A0A2F656C6C697073655F70617468207B0A092F72792065786368206465660A092F72782065786368206465660A092F792065786368206465660A092F782065786368206465660A096D61747269782063757272656E746D61747269780A096E6577706174680A09782079207472616E736C6174650A097278207279207363616C650A093020302031203020333630206172630A097365746D61747269780A7D2062696E64206465660A0A2F656E6470616765207B2073686F7770616765207D2062696E64206465660A2F73686F7770616765207B207D206465660A0A2F6C61796572636F6C6F727365710A095B0925206C6179657220636F6C6F722073657175656E6365202D206461726B65737420746F206C696768746573740A09095B30203020305D0A09095B2E32202E38202E385D0A09095B2E34202E38202E385D0A09095B2E36202E38202E385D0A09095B2E38202E38202E385D0A095D0A6465660A0A2F6C617965726C656E206C61796572636F6C6F72736571206C656E677468206465660A0A2F7365746C61796572207B2F6D61786C61796572206578636820646566202F6375726C617965722065786368206465660A096C61796572636F6C6F72736571206375726C61796572203120737562206C617965726C656E206D6F64206765740A09616C6F616420706F7020736574687362636F6C6F720A092F6E6F6465636F6C6F72207B6E6F70636F6C6F727D206465660A092F65646765636F6C6F72207B6E6F70636F6C6F727D206465660A092F6772617068636F6C6F72207B6E6F70636F6C6F727D206465660A7D2062696E64206465660A0A2F6F6E6C61796572207B206375726C61796572206E65207B696E7669737D206966207D206465660A0A2F6F6E6C6179657273207B0A092F6D7975707065722065786368206465660A092F6D796C6F7765722065786368206465660A096375726C61796572206D796C6F776572206C740A096375726C61796572206D7975707065722067740A096F720A097B696E7669737D2069660A7D206465660A0A2F6375726C617965722030206465660A0A2525456E645265736F757263650A2525456E6450726F6C6F670A2525426567696E53657475700A31342064656661756C742D666F6E742D66616D696C79207365745F666F6E740A25202F6172726F776C656E677468203130206465660A25202F6172726F7777696474682035206465660A0A25206D616B652073757265207064666D61726B206973206861726D6C65737320666F722050532D696E74657270726574657273206F74686572207468616E2044697374696C6C65720A2F7064666D61726B207768657265207B706F707D207B7573657264696374202F7064666D61726B202F636C656172746F6D61726B206C6F6164207075747D206966656C73650A25206D616B6520273C3C2720616E6420273E3E272073616665206F6E205053204C6576656C203120646576696365730A2F6C616E67756167656C6576656C207768657265207B706F70206C616E67756167656C6576656C7D7B317D206966656C73650A32206C74207B0A20202020757365726469637420283C3C292063766E20285B292063766E206C6F6164207075740A20202020757365726469637420283E3E292063766E20285B292063766E206C6F6164207075740A7D2069660A0A2525456E6453657475700A73657475704C6174696E310A2525506167653A203120310A252550616765426F756E64696E67426F783A20333620333620323532203235330A2525506167654F7269656E746174696F6E3A20506F7274726169740A302030203120626567696E706167650A67736176650A3336203336203231362032313720626F787072696D20636C6970206E6577706174680A312031207365745F7363616C65203020726F74617465203430203430207472616E736C6174650A3020302030206772617068636F6C6F720A3134202F54696D65732D526F6D616E207365745F666F6E740A37352E3036343420372E38206D6F7665746F2035382028477261706820332920616C69676E6564746578740A2520610A67736176650A31207365746C696E6577696474680A3020302030206E6F6465636F6C6F720A3130352E33333933203130392E3337383820323720313820656C6C697073655F70617468207374726F6B650A3020302030206E6F6465636F6C6F720A3134202F54696D65732D526F6D616E207365745F666F6E740A3130302E38333933203130352E36373838206D6F7665746F20392028612920616C69676E6564746578740A67726573746F72650A2520620A67736176650A31207365746C696E6577696474680A3020302030206E6F6465636F6C6F720A3135372E323031352034362E3833323120323720313820656C6C697073655F70617468207374726F6B650A3020302030206E6F6465636F6C6F720A3134202F54696D65732D526F6D616E207365745F666F6E740A3135322E323031352034332E31333231206D6F7665746F2031302028622920616C69676E6564746578740A67726573746F72650A2520612D3E620A67736176650A31207365746C696E6577696474680A30203020302065646765636F6C6F720A6E657770617468203131382E343236332039332E35393536206D6F7665746F0A3132342E313535382038362E36383537203133312E303034362037382E343236203133372E3334312037302E37383433206375727665746F0A7374726F6B650A30203020302065646765636F6C6F720A6E657770617468203134302E323439362037322E37353938206D6F7665746F0A3134332E393338332036322E38323738206C696E65746F0A3133342E3836312036382E32393137206C696E65746F0A636C6F7365706174682066696C6C0A31207365746C696E6577696474680A736F6C69640A30203020302065646765636F6C6F720A6E657770617468203134302E323439362037322E37353938206D6F7665746F0A3134332E393338332036322E38323738206C696E65746F0A3133342E3836312036382E32393137206C696E65746F0A636C6F736570617468207374726F6B650A67726573746F72650A2520630A67736176650A31207365746C696E6577696474680A3020302030206E6F6465636F6C6F720A36312E3538323720343120323720313820656C6C697073655F70617468207374726F6B650A3020302030206E6F6465636F6C6F720A3134202F54696D65732D526F6D616E207365745F666F6E740A35372E353832372033372E33206D6F7665746F20382028632920616C69676E6564746578740A67726573746F72650A2520612D3E630A67736176650A31207365746C696E6577696474680A30203020302065646765636F6C6F720A6E6577706174682039342E3532332039322E34373632206D6F7665746F0A38392E343839322038342E363039372038332E3339352037352E303836332037372E383234322036362E33383037206375727665746F0A7374726F6B650A30203020302065646765636F6C6F720A6E6577706174682038302E363132372036342E32343437206D6F7665746F0A37322E323734352035372E37303832206C696E65746F0A37342E373136352036382E30313738206C696E65746F0A636C6F7365706174682066696C6C0A31207365746C696E6577696474680A736F6C69640A30203020302065646765636F6C6F720A6E6577706174682038302E363132372036342E32343437206D6F7665746F0A37322E323734352035372E37303832206C696E65746F0A37342E373136352036382E30313738206C696E65746F0A636C6F736570617468207374726F6B650A67726573746F72650A2520640A67736176650A31207365746C696E6577696474680A3020302030206E6F6465636F6C6F720A3237203133302E3732323820323720313820656C6C697073655F70617468207374726F6B650A3020302030206E6F6465636F6C6F720A3134202F54696D65732D526F6D616E207365745F666F6E740A3232203132372E30323238206D6F7665746F2031302028642920616C69676E6564746578740A67726573746F72650A2520612D3E640A67736176650A31207365746C696E6577696474680A30203020302065646765636F6C6F720A6E6577706174682038302E313231203131362E32343937206D6F7665746F0A37342E33393032203131372E383131312036382E323031203131392E343937342036322E31343137203132312E31343833206375727665746F0A7374726F6B650A30203020302065646765636F6C6F720A6E6577706174682036302E38393932203131372E38353931206D6F7665746F0A35322E313731203132332E38363438206C696E65746F0A36322E37333934203132342E36313239206C696E65746F0A636C6F7365706174682066696C6C0A31207365746C696E6577696474680A736F6C69640A30203020302065646765636F6C6F720A6E6577706174682036302E38393932203131372E38353931206D6F7665746F0A35322E313731203132332E38363438206C696E65746F0A36322E37333934203132342E36313239206C696E65746F0A636C6F736570617468207374726F6B650A67726573746F72650A2520660A67736176650A31207365746C696E6577696474680A3020302030206E6F6465636F6C6F720A3138312E31323837203133382E3833363720323720313820656C6C697073655F70617468207374726F6B650A3020302030206E6F6465636F6C6F720A3134202F54696D65732D526F6D616E207365745F666F6E740A3137382E31323837203133352E31333637206D6F7665746F20362028662920616C69676E6564746578740A67726573746F72650A2520612D3E660A67736176650A31207365746C696E6577696474680A30203020302065646765636F6C6F720A6E657770617468203132382E39303431203131382E353338206D6F7665746F0A3133342E38393235203132302E38363536203134312E34343038203132332E34313038203134372E38313338203132352E38383739206375727665746F0A7374726F6B650A30203020302065646765636F6C6F720A6E657770617468203134362E39383938203132392E33323236206D6F7665746F0A3135372E35373835203132392E36383332206C696E65746F0A3134392E35323538203132322E37393831206C696E65746F0A636C6F7365706174682066696C6C0A31207365746C696E6577696474680A736F6C69640A30203020302065646765636F6C6F720A6E657770617468203134362E39383938203132392E33323236206D6F7665746F0A3135372E35373835203132392E36383332206C696E65746F0A3134392E35323538203132322E37393831206C696E65746F0A636C6F736570617468207374726F6B650A67726573746F72650A2520670A67736176650A31207365746C696E6577696474680A3020302030206E6F6465636F6C6F720A3130312E35303835203139302E3536343620323720313820656C6C697073655F70617468207374726F6B650A3020302030206E6F6465636F6C6F720A3134202F54696D65732D526F6D616E207365745F666F6E740A39362E35303835203138362E38363436206D6F7665746F2031302028672920616C69676E6564746578740A67726573746F72650A2520612D3E670A67736176650A31207365746C696E6577696474680A30203020302065646765636F6C6F720A6E657770617468203130342E34383931203132372E33393636206D6F7665746F0A3130342E30303634203133372E36323537203130332E33393135203135302E36353931203130322E38343536203136322E32323731206375727665746F0A7374726F6B650A30203020302065646765636F6C6F720A6E6577706174682039392E33343439203136322E31363236206D6F7665746F0A3130322E33363936203137322E33313635206C696E65746F0A3130362E33333731203136322E34393236206C696E65746F0A636C6F7365706174682066696C6C0A31207365746C696E6577696474680A736F6C69640A30203020302065646765636F6C6F720A6E6577706174682039392E33343439203136322E31363236206D6F7665746F0A3130322E33363936203137322E33313635206C696E65746F0A3130362E33333731203136322E34393236206C696E65746F0A636C6F736570617468207374726F6B650A67726573746F72650A656E64706167650A73686F77706167650A67726573746F72650A252550616765547261696C65720A2525456E64506167653A20310A2525547261696C65720A656E640A726573746F72650A2525454F460A>|ps>|400px|||>
    </unfolded-io>

    <\folded-io>
      twopi]\ 
    <|folded-io>
      %dot -output png // \<#56FE\>\<#56DB\>

      digraph G { label="\<#56FE\>\<#56DB\>" a -\<gtr\> b; a -\<gtr\> c; a
      -\<gtr\> d; a -\<gtr\> f; a -\<gtr\> g }
    <|folded-io>
      \;
    </folded-io>

    <\input>
      twopi]\ 
    <|input>
      \;
    </input>
  </session>

  \<#5982\>\<#679C\>\<#4F7F\>\<#7528\>\<#4E86\>\<#5E7B\>\<#884C\>\<#FF0C\>\<#90A3\>\<#4E48\><verbatim|%>\<#548C\>\<#7B2C\>\<#4E00\>\<#4E2A\>\<#7A7A\>\<#683C\>\<#4E4B\>\<#95F4\>\<#7684\>\<#6587\>\<#672C\>\<#5C31\>\<#662F\>\<#6211\>\<#4EEC\>\<#6240\>\<#4F7F\>\<#7528\>\<#7684\>\<#5E03\>\<#5C40\>\<#3002\>

  \<#4E0A\>\<#9762\>\<#7684\>\<#56DB\>\<#4E2A\>\<#56FE\>\<#5B9E\>\<#9645\>\<#4E0A\>\<#4F7F\>\<#7528\>\<#4E86\>\<#540C\>\<#4E00\>\<#4E2A\>\<#62BD\>\<#8C61\>\<#7684\>\<#56FE\>\<#FF0C\>\<#4F46\>\<#662F\>\<#5728\>\<#6362\>\<#884C\>\<#4E2D\>\<#6307\>\<#5B9A\>\<#4E86\>\<#4E0D\>\<#540C\>\<#9009\>\<#9879\>\<#3002\>

  \<#56FE\>\<#4E00\>\<#548C\>\<#56FE\>\<#4E8C\>\<#7684\>\<#533A\>\<#522B\>\<#5728\>\<#4E8E\>\<#56FE\>\<#7247\>\<#7684\>\<#663E\>\<#793A\>\<#5BBD\>\<#5EA6\>\<#FF0C\>\<#5982\>\<#679C\>\<#6211\>\<#4EEC\>\<#4E0D\>\<#6307\>\<#5B9A\>\<#663E\>\<#793A\>\<#5BBD\>\<#5EA6\>\<#FF0C\>\<#90A3\>\<#4E48\><name|Graphviz>\<#6240\>\<#663E\>\<#793A\>\<#7684\>\<#56FE\>\<#7247\>\<#5BBD\>\<#5EA6\>\<#5C06\>\<#662F\><scm|0.618par>\<#FF0C\>\<#4E5F\>\<#5C31\>\<#662F\>\<#6BB5\>\<#843D\>\<#5BBD\>\<#5EA6\>\<#7684\>0.618\<#500D\>\<#3002\>\<#6CE8\>\<#610F\>\<#FF0C\>\<#6211\>\<#4EEC\>\<#66F4\>\<#6539\>\<#4E86\>\<#56FE\>\<#7247\>\<#7684\>\<#663E\>\<#793A\>\<#5BBD\>\<#5EA6\>\<#FF0C\>\<#5E76\>\<#4E0D\>\<#4F1A\>\<#66F4\>\<#6539\>\<#56FE\>\<#7247\>\<#7684\>\<#5B9E\>\<#9645\>\<#5927\>\<#5C0F\>\<#FF0C\>\<#8FD9\>\<#91CC\>\<#7684\>\<#5BBD\>\<#5EA6\>\<#548C\>\<#9AD8\>\<#5EA6\>\<#53EA\>\<#662F\>\<#63A7\>\<#5236\>\<#56FE\>\<#7247\>\<#5728\>\<#6587\>\<#6863\>\<#4E2D\>\<#7684\>\<#5C3A\>\<#5BF8\>\<#3002\>

  \<#56FE\>\<#4E00\>\<#548C\>\<#56FE\>\<#4E09\>\<#7684\>\<#533A\>\<#522B\>\<#5728\>\<#4E8E\>\<#56FE\>\<#7247\>\<#7684\>\<#6240\>\<#4F7F\>\<#7528\>\<#7684\>\<#5E03\>\<#5C40\>\<#FF0C\>\<#4ECE\>\<#4E24\>\<#4E2A\>\<#56FE\>\<#7684\>\<#5BF9\>\<#6BD4\>\<#4E2D\>\<#FF0C\>\<#6211\>\<#4EEC\>\<#53EF\>\<#4EE5\>\<#4E86\>\<#89E3\>\<#5230\>dot\<#5E03\>\<#5C40\>\<#7B97\>\<#6CD5\>\<#548C\>neato\<#5E03\>\<#5C40\>\<#7B97\>\<#6CD5\>\<#7684\>\<#4E0D\>\<#540C\>\<#4F7F\>\<#7528\>\<#573A\>\<#666F\>\<#3002\>

  \<#56FE\>\<#4E8C\>\<#548C\>\<#56FE\>\<#56DB\>\<#7684\>\<#533A\>\<#522B\>\<#5728\>\<#4E8E\>\<#6240\>\<#751F\>\<#6210\>\<#56FE\>\<#7247\>\<#7684\>\<#683C\>\<#5F0F\>\<#3002\>\<#56E0\>\<#4E3A\><name|Graphviz>\<#63D2\>\<#4EF6\>\<#7684\>\<#539F\>\<#7406\>\<#662F\>\<#8C03\>\<#7528\><name|Graphviz>\<#7684\>\<#5E03\>\<#5C40\>\<#547D\>\<#4EE4\>\<#FF0C\>\<#751F\>\<#6210\>\<#56FE\>\<#7247\>\<#FF0C\>\<#5E76\>\<#5C06\>\<#56FE\>\<#7247\>\<#63D2\>\<#5165\>\<#5230\>\<#6587\>\<#6863\>\<#4E2D\>\<#3002\>\<#9ED8\>\<#8BA4\>\<#4F7F\>\<#7528\>\<#7684\>\<#56FE\>\<#7247\>\<#683C\>\<#5F0F\>\<#662F\>PostScript\<#FF0C\>\<#4F46\>\<#662F\>PostScript\<#4E0D\>\<#652F\>\<#6301\>\<#4E2D\>\<#6587\>\<#FF0C\>\<#6240\>\<#4EE5\>\<#5982\>\<#679C\>\<#4F60\>\<#7684\>\<#56FE\>\<#7247\>\<#4E2D\>\<#4F7F\>\<#7528\>\<#4E86\>\<#4E2D\>\<#6587\>\<#FF0C\>\<#90A3\>\<#4E48\>\<#8BF7\>\<#4F7F\>\<#7528\>\<#522B\>\<#7684\>\<#56FE\>\<#7247\>\<#683C\>\<#5F0F\>\<#FF0C\>\<#6BD4\>\<#5982\>png\<#683C\>\<#5F0F\>\<#3002\>

  <\big-table|<block*|<tformat|<cwith|1|1|1|-1|cell-background|pastel
  blue>|<table|<row|<cell|\<#9009\>\<#9879\>>|<cell|\<#529F\>\<#80FD\>>>|<row|<cell|-width>|<cell|\<#6307\>\<#5B9A\>\<#56FE\>\<#7247\>\<#7684\>\<#663E\>\<#793A\>\<#5BBD\>\<#5EA6\>\<#FF08\>\<#9ED8\>\<#8BA4\>\<#5355\>\<#4F4D\>\<#4E3A\>px\<#FF09\>>>|<row|<cell|-height>|<cell|\<#6307\>\<#5B9A\>\<#56FE\>\<#7247\>\<#7684\>\<#663E\>\<#793A\>\<#9AD8\>\<#5EA6\>\<#FF08\>\<#9ED8\>\<#8BA4\>\<#5355\>\<#4F4D\>\<#4E3A\>px\<#FF09\>>>|<row|<cell|-output>|<cell|\<#6307\>\<#5B9A\>\<#6240\>\<#751F\>\<#6210\>\<#56FE\>\<#7247\>\<#7684\>\<#6587\>\<#4EF6\>\<#683C\>\<#5F0F\>\<#FF08\>\<#9ED8\>\<#8BA4\>\<#683C\>\<#5F0F\>\<#4E3A\>PostScript\<#FF09\>>>>>>>
    \<#5E7B\>\<#884C\>\<#4E2D\>\<#7684\>\<#9009\>\<#9879\>
  </big-table>

  \;

  \;

  <section|\<#6298\>\<#53E0\>>

  \<#6709\>\<#65F6\>\<#5019\>\<#FF0C\>\<#6211\>\<#4EEC\>\<#5E76\>\<#4E0D\>\<#9700\>\<#8981\>\<#5173\>\<#5FC3\>\<#6211\>\<#4EEC\>\<#4F7F\>\<#7528\>\<#4EC0\>\<#4E48\>\<#6837\>\<#7684\>DOT\<#63CF\>\<#8FF0\>\<#53BB\>\<#5B9A\>\<#4E49\>\<#4E00\>\<#4E2A\>\<#56FE\>\<#3002\>\<#5728\>\<#8FD9\>\<#79CD\>\<#573A\>\<#666F\>\<#4E0B\>\<#FF0C\>\<#6211\>\<#4EEC\>\<#53EF\>\<#4EE5\>\<#5C06\>DOT\<#63CF\>\<#8FF0\>\<#9690\>\<#85CF\>\<#8D77\>\<#6765\>\<#3002\>\<#4F7F\>\<#7528\><menu|Insert|Fold|Executable|Graphviz>\<#5C31\>\<#53EF\>\<#4EE5\>\<#63D2\>\<#5165\>\<#4E00\>\<#4E2A\>\<#53EF\>\<#6298\>\<#53E0\>\<#7684\><name|Graphviz>\<#8FDB\>\<#7A0B\>\<#3002\>\<#4E0B\>\<#9762\>\<#FF0C\>\<#5DE6\>\<#8FB9\>\<#662F\>\<#56FE\>G\<#7684\>DOT\<#63CF\>\<#8FF0\>\<#FF0C\>\<#53F3\>\<#8FB9\>\<#662F\>\<#8BE5\>\<#63CF\>\<#8FF0\>\<#4F7F\>\<#7528\><shell|dot>\<#5E03\>\<#5C40\>\<#6240\>\<#751F\>\<#6210\>\<#7684\>\<#5BBD\>\<#5EA6\>\<#4E3A\>400px\<#7684\>\<#56FE\>\<#7247\>\<#3002\>\<#5C06\>\<#5149\>\<#6807\>\<#79FB\>\<#52A8\>\<#5230\>\<#5DE6\>\<#56FE\>\<#7684\>\<#4EFB\>\<#610F\>\<#4F4D\>\<#7F6E\>\<#FF0C\>\<#5E76\>\<#6309\>\<#4E0B\><key|shift
  return>\<#5C31\>\<#53EF\>\<#4EE5\>\<#5F97\>\<#5230\>\<#53F3\>\<#56FE\>\<#3002\>\<#5C06\>\<#5149\>\<#6807\>\<#79FB\>\<#52A8\>\<#5230\>\<#53F3\>\<#56FE\>\<#7684\>\<#4EFB\>\<#610F\>\<#4F4D\>\<#7F6E\>\<#FF0C\>\<#540C\>\<#6837\>\<#6309\>\<#4E0B\><key|shift><key|return>\<#4E5F\>\<#53EF\>\<#4EE5\>\<#5F97\>\<#5230\>\<#5DE6\>\<#56FE\>\<#3002\>

  <\with|par-columns|2>
    <\script-input|dot|default>
      %dot -height 400

      digraph G {

      \ v1 -\<gtr\> v2;

      \ v1 -\<gtr\> v3;

      \ v3 -\<gtr\> v2;

      \ v2 -\<gtr\> v4;

      \ v3 -\<gtr\> v4;

      \ v4 -\<gtr\> v5;

      \ v5 -\<gtr\> v4;

      \ v5 -\<gtr\> v3;

      \ v5 -\<gtr\> v6;

      \ v4 -\<gtr\> v6;

      \ v6 -\<gtr\> v7;

      }
    </script-input|<image|<tuple|<#252150532D41646F62652D332E3020455053462D332E300A252543726561746F723A20677261706876697A2076657273696F6E20322E34332E30202830290A25255469746C653A20470A252550616765733A20310A2525426F756E64696E67426F783A20333620333620323139203434300A2525456E64436F6D6D656E74730A736176650A2525426567696E50726F6C6F670A2F446F7444696374203230302064696374206465660A446F744469637420626567696E0A0A2F73657475704C6174696E31207B0A6D61726B0A2F456E636F64696E67566563746F7220323536206172726179206465660A20456E636F64696E67566563746F7220300A0A49534F4C6174696E31456E636F64696E6720302032353520676574696E74657276616C20707574696E74657276616C0A456E636F64696E67566563746F72203435202F68797068656E207075740A0A25205365742075702049534F204C6174696E20312063686172616374657220656E636F64696E670A2F737461726E657449534F207B0A2020202020202020647570206475702066696E64666F6E7420647570206C656E677468206469637420626567696E0A20202020202020207B203120696E646578202F464944206E65207B20646566207D7B20706F7020706F70207D206966656C73650A20202020202020207D20666F72616C6C0A20202020202020202F456E636F64696E6720456E636F64696E67566563746F72206465660A202020202020202063757272656E746469637420656E6420646566696E65666F6E740A7D206465660A2F54696D65732D526F6D616E20737461726E657449534F206465660A2F54696D65732D4974616C696320737461726E657449534F206465660A2F54696D65732D426F6C6420737461726E657449534F206465660A2F54696D65732D426F6C644974616C696320737461726E657449534F206465660A2F48656C76657469636120737461726E657449534F206465660A2F48656C7665746963612D4F626C6971756520737461726E657449534F206465660A2F48656C7665746963612D426F6C6420737461726E657449534F206465660A2F48656C7665746963612D426F6C644F626C6971756520737461726E657449534F206465660A2F436F757269657220737461726E657449534F206465660A2F436F75726965722D4F626C6971756520737461726E657449534F206465660A2F436F75726965722D426F6C6420737461726E657449534F206465660A2F436F75726965722D426F6C644F626C6971756520737461726E657449534F206465660A636C656172746F6D61726B0A7D2062696E64206465660A0A2525426567696E5265736F757263653A2070726F6373657420677261706876697A203020300A2F636F6F72642D666F6E742D66616D696C79202F54696D65732D526F6D616E206465660A2F64656661756C742D666F6E742D66616D696C79202F54696D65732D526F6D616E206465660A2F636F6F7264666F6E7420636F6F72642D666F6E742D66616D696C792066696E64666F6E742038207363616C65666F6E74206465660A0A2F496E765363616C65466163746F7220312E30206465660A2F7365745F7363616C65207B0A202020202020206475702031206578636820646976202F496E765363616C65466163746F722065786368206465660A202020202020207363616C650A7D2062696E64206465660A0A25207374796C65730A2F736F6C6964207B205B5D20302073657464617368207D2062696E64206465660A2F646173686564207B205B3920496E765363616C65466163746F72206D756C20647570205D20302073657464617368207D2062696E64206465660A2F646F74746564207B205B3120496E765363616C65466163746F72206D756C203620496E765363616C65466163746F72206D756C5D20302073657464617368207D2062696E64206465660A2F696E766973207B2F66696C6C207B6E6577706174687D20646566202F7374726F6B65207B6E6577706174687D20646566202F73686F77207B706F70206E6577706174687D206465667D2062696E64206465660A2F626F6C64207B2032207365746C696E657769647468207D2062696E64206465660A2F66696C6C6564207B207D2062696E64206465660A2F756E66696C6C6564207B207D2062696E64206465660A2F726F756E646564207B207D2062696E64206465660A2F646961676F6E616C73207B207D2062696E64206465660A2F74617065726564207B207D2062696E64206465660A0A2520686F6F6B7320666F722073657474696E6720636F6C6F72200A2F6E6F6465636F6C6F72207B20736574687362636F6C6F72207D2062696E64206465660A2F65646765636F6C6F72207B20736574687362636F6C6F72207D2062696E64206465660A2F6772617068636F6C6F72207B20736574687362636F6C6F72207D2062696E64206465660A2F6E6F70636F6C6F72207B706F7020706F7020706F707D2062696E64206465660A0A2F626567696E70616765207B09252069206A206E70616765730A092F6E70616765732065786368206465660A092F6A2065786368206465660A092F692065786368206465660A092F73747220313020737472696E67206465660A096E70616765732031206774207B0A090967736176650A090909636F6F7264666F6E7420736574666F6E740A090909302030206D6F7665746F0A090909285C28292073686F77206920737472206376732073686F7720282C292073686F77206A20737472206376732073686F7720285C29292073686F770A090967726573746F72650A097D2069660A7D2062696E64206465660A0A2F7365745F666F6E74207B0A0966696E64666F6E7420657863680A097363616C65666F6E7420736574666F6E740A7D206465660A0A25206472617720746578742066697474656420746F206974732065787065637465642077696474680A2F616C69676E656474657874207B0909092520776964746820746578740A092F746578742065786368206465660A092F77696474682065786368206465660A0967736176650A090977696474682030206774207B0A0909095B5D203020736574646173680A0909097465787420737472696E67776964746820706F702077696474682065786368207375622074657874206C656E6774682064697620302074657874206173686F770A09097D2069660A0967726573746F72650A7D206465660A0A2F626F787072696D207B09090909252078636F726E65722079636F726E6572207873697A65207973697A650A090934203220726F6C6C0A09096D6F7665746F0A09093220636F70790A090965786368203020726C696E65746F0A090930206578636820726C696E65746F0A0909706F70206E6567203020726C696E65746F0A0909636C6F7365706174680A7D2062696E64206465660A0A2F656C6C697073655F70617468207B0A092F72792065786368206465660A092F72782065786368206465660A092F792065786368206465660A092F782065786368206465660A096D61747269782063757272656E746D61747269780A096E6577706174680A09782079207472616E736C6174650A097278207279207363616C650A093020302031203020333630206172630A097365746D61747269780A7D2062696E64206465660A0A2F656E6470616765207B2073686F7770616765207D2062696E64206465660A2F73686F7770616765207B207D206465660A0A2F6C61796572636F6C6F727365710A095B0925206C6179657220636F6C6F722073657175656E6365202D206461726B65737420746F206C696768746573740A09095B30203020305D0A09095B2E32202E38202E385D0A09095B2E34202E38202E385D0A09095B2E36202E38202E385D0A09095B2E38202E38202E385D0A095D0A6465660A0A2F6C617965726C656E206C61796572636F6C6F72736571206C656E677468206465660A0A2F7365746C61796572207B2F6D61786C61796572206578636820646566202F6375726C617965722065786368206465660A096C61796572636F6C6F72736571206375726C61796572203120737562206C617965726C656E206D6F64206765740A09616C6F616420706F7020736574687362636F6C6F720A092F6E6F6465636F6C6F72207B6E6F70636F6C6F727D206465660A092F65646765636F6C6F72207B6E6F70636F6C6F727D206465660A092F6772617068636F6C6F72207B6E6F70636F6C6F727D206465660A7D2062696E64206465660A0A2F6F6E6C61796572207B206375726C61796572206E65207B696E7669737D206966207D206465660A0A2F6F6E6C6179657273207B0A092F6D7975707065722065786368206465660A092F6D796C6F7765722065786368206465660A096375726C61796572206D796C6F776572206C740A096375726C61796572206D7975707065722067740A096F720A097B696E7669737D2069660A7D206465660A0A2F6375726C617965722030206465660A0A2525456E645265736F757263650A2525456E6450726F6C6F670A2525426567696E53657475700A31342064656661756C742D666F6E742D66616D696C79207365745F666F6E740A25202F6172726F776C656E677468203130206465660A25202F6172726F7777696474682035206465660A0A25206D616B652073757265207064666D61726B206973206861726D6C65737320666F722050532D696E74657270726574657273206F74686572207468616E2044697374696C6C65720A2F7064666D61726B207768657265207B706F707D207B7573657264696374202F7064666D61726B202F636C656172746F6D61726B206C6F6164207075747D206966656C73650A25206D616B6520273C3C2720616E6420273E3E272073616665206F6E205053204C6576656C203120646576696365730A2F6C616E67756167656C6576656C207768657265207B706F70206C616E67756167656C6576656C7D7B317D206966656C73650A32206C74207B0A20202020757365726469637420283C3C292063766E20285B292063766E206C6F6164207075740A20202020757365726469637420283E3E292063766E20285B292063766E206C6F6164207075740A7D2069660A0A2525456E6453657475700A73657475704C6174696E310A2525506167653A203120310A252550616765426F756E64696E67426F783A20333620333620323139203434300A2525506167654F7269656E746174696F6E3A20506F7274726169740A302030203120626567696E706167650A67736176650A3336203336203138332034303420626F787072696D20636C6970206E6577706174680A312031207365745F7363616C65203020726F74617465203430203430207472616E736C6174650A252076310A67736176650A31207365746C696E6577696474680A3020302030206E6F6465636F6C6F720A3134382033373820323720313820656C6C697073655F70617468207374726F6B650A3020302030206E6F6465636F6C6F720A3134202F54696D65732D526F6D616E207365745F666F6E740A313339203337342E33206D6F7665746F203138202876312920616C69676E6564746578740A67726573746F72650A252076320A67736176650A31207365746C696E6577696474680A3020302030206E6F6465636F6C6F720A3132312033303620323720313820656C6C697073655F70617468207374726F6B650A3020302030206E6F6465636F6C6F720A3134202F54696D65732D526F6D616E207365745F666F6E740A313132203330322E33206D6F7665746F203138202876322920616C69676E6564746578740A67726573746F72650A252076312D3E76320A67736176650A31207365746C696E6577696474680A30203020302065646765636F6C6F720A6E657770617468203134312E36303134203336302E343131206D6F7665746F0A3133382E34383634203335322E33333532203133342E36363633203334322E34333132203133312E31363534203333332E33353437206375727665746F0A7374726F6B650A30203020302065646765636F6C6F720A6E657770617468203133342E34303435203333322E30323637206D6F7665746F0A3132372E35343033203332332E39353632206C696E65746F0A3132372E38373335203333342E35343538206C696E65746F0A636C6F7365706174682066696C6C0A31207365746C696E6577696474680A736F6C69640A30203020302065646765636F6C6F720A6E657770617468203133342E34303435203333322E30323637206D6F7665746F0A3132372E35343033203332332E39353632206C696E65746F0A3132372E38373335203333342E35343538206C696E65746F0A636C6F736570617468207374726F6B650A67726573746F72650A252076330A67736176650A31207365746C696E6577696474680A3020302030206E6F6465636F6C6F720A31313820393020323720313820656C6C697073655F70617468207374726F6B650A3020302030206E6F6465636F6C6F720A3134202F54696D65732D526F6D616E207365745F666F6E740A3130392038362E33206D6F7665746F203138202876332920616C69676E6564746578740A67726573746F72650A252076312D3E76330A67736176650A31207365746C696E6577696474680A30203020302065646765636F6C6F720A6E657770617468203135312E36353338203335392E39303735206D6F7665746F0A3135332E36373538203334392E35363835203135352E39383038203333362E303930322031353720333234206375727665746F0A3136332E33363538203234382E34383738203134302E32323732203136302E36303431203132362E38353733203131372E353432206375727665746F0A7374726F6B650A30203020302065646765636F6C6F720A6E657770617468203133302E313337203131362E33303538206D6F7665746F0A3132332E37373134203130372E38333635206C696E65746F0A3132332E343636203131382E34323639206C696E65746F0A636C6F7365706174682066696C6C0A31207365746C696E6577696474680A736F6C69640A30203020302065646765636F6C6F720A6E657770617468203133302E313337203131362E33303538206D6F7665746F0A3132332E37373134203130372E38333635206C696E65746F0A3132332E343636203131382E34323639206C696E65746F0A636C6F736570617468207374726F6B650A67726573746F72650A252076340A67736176650A31207365746C696E6577696474680A3020302030206E6F6465636F6C6F720A34352032333420323720313820656C6C697073655F70617468207374726F6B650A3020302030206E6F6465636F6C6F720A3134202F54696D65732D526F6D616E207365745F666F6E740A3336203233302E33206D6F7665746F203138202876342920616C69676E6564746578740A67726573746F72650A252076322D3E76340A67736176650A31207365746C696E6577696474680A30203020302065646765636F6C6F720A6E657770617468203130352E36323033203239302E38333435206D6F7665746F0A39342E38303339203238302E3837322038302E31343332203236372E333638372036372E39343839203235362E31333731206375727665746F0A7374726F6B650A30203020302065646765636F6C6F720A6E6577706174682037302E30383335203235332E33343438206D6F7665746F0A36302E33353639203234392E31343435206C696E65746F0A36352E33343132203235382E34393337206C696E65746F0A636C6F7365706174682066696C6C0A31207365746C696E6577696474680A736F6C69640A30203020302065646765636F6C6F720A6E6577706174682037302E30383335203235332E33343438206D6F7665746F0A36302E33353639203234392E31343435206C696E65746F0A36352E33343132203235382E34393337206C696E65746F0A636C6F736570617468207374726F6B650A67726573746F72650A252076332D3E76320A67736176650A31207365746C696E6577696474680A30203020302065646765636F6C6F720A6E657770617468203131382E32343136203130382E32333235206D6F7665746F0A3131382E37363136203134352E33323433203131392E39393034203233322E39383038203132302E36313735203237372E37313234206375727665746F0A7374726F6B650A30203020302065646765636F6C6F720A6E657770617468203131372E31313936203237372E38393933206D6F7665746F0A3132302E37353936203238372E38343932206C696E65746F0A3132342E313139203237372E38303131206C696E65746F0A636C6F7365706174682066696C6C0A31207365746C696E6577696474680A736F6C69640A30203020302065646765636F6C6F720A6E657770617468203131372E31313936203237372E38393933206D6F7665746F0A3132302E37353936203238372E38343932206C696E65746F0A3132342E313139203237372E38303131206C696E65746F0A636C6F736570617468207374726F6B650A67726573746F72650A252076332D3E76340A67736176650A31207365746C696E6577696474680A30203020302065646765636F6C6F720A6E657770617468203131322E31353239203130372E38363637206D6F7665746F0A3130352E35363033203132362E313230342039342E30343431203135352E3835353420383120313830206375727665746F0A37352E36383634203138392E383335342036382E39393636203230302E313136372036322E3833203230382E393738206375727665746F0A7374726F6B650A30203020302065646765636F6C6F720A6E6577706174682035392E38353632203230372E31323034206D6F7665746F0A35362E39303832203231372E32393638206C696E65746F0A36352E35353839203231312E31373939206C696E65746F0A636C6F7365706174682066696C6C0A31207365746C696E6577696474680A736F6C69640A30203020302065646765636F6C6F720A6E6577706174682035392E38353632203230372E31323034206D6F7665746F0A35362E39303832203231372E32393638206C696E65746F0A36352E35353839203231312E31373939206C696E65746F0A636C6F736570617468207374726F6B650A67726573746F72650A252076350A67736176650A31207365746C696E6577696474680A3020302030206E6F6465636F6C6F720A34352031363220323720313820656C6C697073655F70617468207374726F6B650A3020302030206E6F6465636F6C6F720A3134202F54696D65732D526F6D616E207365745F666F6E740A3336203135382E33206D6F7665746F203138202876352920616C69676E6564746578740A67726573746F72650A252076342D3E76350A67736176650A31207365746C696E6577696474680A30203020302065646765636F6C6F720A6E6577706174682033392E31363031203231362E343131206D6F7665746F0A33382E32393735203230382E3530372033382E30343831203139382E383531382033382E34313139203138392E39333532206375727665746F0A7374726F6B650A30203020302065646765636F6C6F720A6E6577706174682034312E39303333203139302E31373931206D6F7665746F0A33392E31323036203137392E39353632206C696E65746F0A33342E39323039203138392E36383331206C696E65746F0A636C6F7365706174682066696C6C0A31207365746C696E6577696474680A736F6C69640A30203020302065646765636F6C6F720A6E6577706174682034312E39303333203139302E31373931206D6F7665746F0A33392E31323036203137392E39353632206C696E65746F0A33342E39323039203138392E36383331206C696E65746F0A636C6F736570617468207374726F6B650A67726573746F72650A252076360A67736176650A31207365746C696E6577696474680A3020302030206E6F6465636F6C6F720A323720393020323720313820656C6C697073655F70617468207374726F6B650A3020302030206E6F6465636F6C6F720A3134202F54696D65732D526F6D616E207365745F666F6E740A31382038362E33206D6F7665746F203138202876362920616C69676E6564746578740A67726573746F72650A252076342D3E76360A67736176650A31207365746C696E6577696474680A30203020302065646765636F6C6F720A6E6577706174682033312E32343936203231382E30363838206D6F7665746F0A32332E30333932203230382E313030332031332E333831203139342E32343639203920313830206375727665746F0A322E35373932203135392E3131393820382E33383338203133342E373636372031352E30353939203131362E38313836206375727665746F0A7374726F6B650A30203020302065646765636F6C6F720A6E6577706174682031382E33393733203131372E39303131206D6F7665746F0A31382E38393535203130372E33313739206C696E65746F0A31312E39303633203131352E32383034206C696E65746F0A636C6F7365706174682066696C6C0A31207365746C696E6577696474680A736F6C69640A30203020302065646765636F6C6F720A6E6577706174682031382E33393733203131372E39303131206D6F7665746F0A31382E38393535203130372E33313739206C696E65746F0A31312E39303633203131352E32383034206C696E65746F0A636C6F736570617468207374726F6B650A67726573746F72650A252076352D3E76330A67736176650A31207365746C696E6577696474680A30203020302065646765636F6C6F720A6E6577706174682035392E37373236203134362E38333435206D6F7665746F0A37302E313632203133362E3837322038342E32343431203132332E333638372039352E393537203131322E31333731206375727665746F0A7374726F6B650A30203020302065646765636F6C6F720A6E6577706174682039382E34353339203131342E353932206D6F7665746F0A3130332E32343933203130352E31343435206C696E65746F0A39332E363039203130392E35333935206C696E65746F0A636C6F7365706174682066696C6C0A31207365746C696E6577696474680A736F6C69640A30203020302065646765636F6C6F720A6E6577706174682039382E34353339203131342E353932206D6F7665746F0A3130332E32343933203130352E31343435206C696E65746F0A39332E363039203130392E35333935206C696E65746F0A636C6F736570617468207374726F6B650A67726573746F72650A252076352D3E76340A67736176650A31207365746C696E6577696474680A30203020302065646765636F6C6F720A6E6577706174682035302E38373934203137392E39353632206D6F7665746F0A35312E37313339203138372E383237322035312E39343835203139372E333733392035312E35383331203230362E31383639206375727665746F0A7374726F6B650A30203020302065646765636F6C6F720A6E6577706174682034382E30373432203230362E31383335206D6F7665746F0A35302E38333939203231362E343131206C696E65746F0A35352E30353538203230362E36393131206C696E65746F0A636C6F7365706174682066696C6C0A31207365746C696E6577696474680A736F6C69640A30203020302065646765636F6C6F720A6E6577706174682034382E30373432203230362E31383335206D6F7665746F0A35302E38333939203231362E343131206C696E65746F0A35352E30353538203230362E36393131206C696E65746F0A636C6F736570617468207374726F6B650A67726573746F72650A252076352D3E76360A67736176650A31207365746C696E6577696474680A30203020302065646765636F6C6F720A6E6577706174682034302E36343237203134342E303535206D6F7665746F0A33382E36303836203133362E313434362033362E31333838203132362E353339382033332E38363236203131372E36383739206375727665746F0A7374726F6B650A30203020302065646765636F6C6F720A6E6577706174682033372E31393734203131362E36303233206D6F7665746F0A33312E33313732203130372E373839206C696E65746F0A33302E34313739203131382E33343536206C696E65746F0A636C6F7365706174682066696C6C0A31207365746C696E6577696474680A736F6C69640A30203020302065646765636F6C6F720A6E6577706174682033372E31393734203131362E36303233206D6F7665746F0A33312E33313732203130372E373839206C696E65746F0A33302E34313739203131382E33343536206C696E65746F0A636C6F736570617468207374726F6B650A67726573746F72650A252076370A67736176650A31207365746C696E6577696474680A3020302030206E6F6465636F6C6F720A323720313820323720313820656C6C697073655F70617468207374726F6B650A3020302030206E6F6465636F6C6F720A3134202F54696D65732D526F6D616E207365745F666F6E740A31382031342E33206D6F7665746F203138202876372920616C69676E6564746578740A67726573746F72650A252076362D3E76370A67736176650A31207365746C696E6577696474680A30203020302065646765636F6C6F720A6E6577706174682032372037312E36393636206D6F7665746F0A32372036332E393832372032372035342E373132352032372034362E31313234206375727665746F0A7374726F6B650A30203020302065646765636F6C6F720A6E6577706174682033302E353030312034362E31303433206D6F7665746F0A32372033362E31303433206C696E65746F0A32332E353030312034362E31303434206C696E65746F0A636C6F7365706174682066696C6C0A31207365746C696E6577696474680A736F6C69640A30203020302065646765636F6C6F720A6E6577706174682033302E353030312034362E31303433206D6F7665746F0A32372033362E31303433206C696E65746F0A32332E353030312034362E31303434206C696E65746F0A636C6F736570617468207374726F6B650A67726573746F72650A656E64706167650A73686F77706167650A67726573746F72650A252550616765547261696C65720A2525456E64506167653A20310A2525547261696C65720A656E640A726573746F72650A2525454F460A>|ps>||400px||>>

    <\with|par-columns|2>
      <\script-output|dot|default>
        %dot -height 400

        digraph G {

        \ v1 -\<gtr\> v2;

        \ v1 -\<gtr\> v3;

        \ v3 -\<gtr\> v2;

        \ v2 -\<gtr\> v4;

        \ v3 -\<gtr\> v4;

        \ v4 -\<gtr\> v5;

        \ v5 -\<gtr\> v4;

        \ v5 -\<gtr\> v3;

        \ v5 -\<gtr\> v6;

        \ v4 -\<gtr\> v6;

        \ v6 -\<gtr\> v7;

        }
      </script-output|<image|<tuple|<#252150532D41646F62652D332E3020455053462D332E300A252543726561746F723A20677261706876697A2076657273696F6E20322E34332E30202830290A25255469746C653A20470A252550616765733A20310A2525426F756E64696E67426F783A20333620333620323139203434300A2525456E64436F6D6D656E74730A736176650A2525426567696E50726F6C6F670A2F446F7444696374203230302064696374206465660A446F744469637420626567696E0A0A2F73657475704C6174696E31207B0A6D61726B0A2F456E636F64696E67566563746F7220323536206172726179206465660A20456E636F64696E67566563746F7220300A0A49534F4C6174696E31456E636F64696E6720302032353520676574696E74657276616C20707574696E74657276616C0A456E636F64696E67566563746F72203435202F68797068656E207075740A0A25205365742075702049534F204C6174696E20312063686172616374657220656E636F64696E670A2F737461726E657449534F207B0A2020202020202020647570206475702066696E64666F6E7420647570206C656E677468206469637420626567696E0A20202020202020207B203120696E646578202F464944206E65207B20646566207D7B20706F7020706F70207D206966656C73650A20202020202020207D20666F72616C6C0A20202020202020202F456E636F64696E6720456E636F64696E67566563746F72206465660A202020202020202063757272656E746469637420656E6420646566696E65666F6E740A7D206465660A2F54696D65732D526F6D616E20737461726E657449534F206465660A2F54696D65732D4974616C696320737461726E657449534F206465660A2F54696D65732D426F6C6420737461726E657449534F206465660A2F54696D65732D426F6C644974616C696320737461726E657449534F206465660A2F48656C76657469636120737461726E657449534F206465660A2F48656C7665746963612D4F626C6971756520737461726E657449534F206465660A2F48656C7665746963612D426F6C6420737461726E657449534F206465660A2F48656C7665746963612D426F6C644F626C6971756520737461726E657449534F206465660A2F436F757269657220737461726E657449534F206465660A2F436F75726965722D4F626C6971756520737461726E657449534F206465660A2F436F75726965722D426F6C6420737461726E657449534F206465660A2F436F75726965722D426F6C644F626C6971756520737461726E657449534F206465660A636C656172746F6D61726B0A7D2062696E64206465660A0A2525426567696E5265736F757263653A2070726F6373657420677261706876697A203020300A2F636F6F72642D666F6E742D66616D696C79202F54696D65732D526F6D616E206465660A2F64656661756C742D666F6E742D66616D696C79202F54696D65732D526F6D616E206465660A2F636F6F7264666F6E7420636F6F72642D666F6E742D66616D696C792066696E64666F6E742038207363616C65666F6E74206465660A0A2F496E765363616C65466163746F7220312E30206465660A2F7365745F7363616C65207B0A202020202020206475702031206578636820646976202F496E765363616C65466163746F722065786368206465660A202020202020207363616C650A7D2062696E64206465660A0A25207374796C65730A2F736F6C6964207B205B5D20302073657464617368207D2062696E64206465660A2F646173686564207B205B3920496E765363616C65466163746F72206D756C20647570205D20302073657464617368207D2062696E64206465660A2F646F74746564207B205B3120496E765363616C65466163746F72206D756C203620496E765363616C65466163746F72206D756C5D20302073657464617368207D2062696E64206465660A2F696E766973207B2F66696C6C207B6E6577706174687D20646566202F7374726F6B65207B6E6577706174687D20646566202F73686F77207B706F70206E6577706174687D206465667D2062696E64206465660A2F626F6C64207B2032207365746C696E657769647468207D2062696E64206465660A2F66696C6C6564207B207D2062696E64206465660A2F756E66696C6C6564207B207D2062696E64206465660A2F726F756E646564207B207D2062696E64206465660A2F646961676F6E616C73207B207D2062696E64206465660A2F74617065726564207B207D2062696E64206465660A0A2520686F6F6B7320666F722073657474696E6720636F6C6F72200A2F6E6F6465636F6C6F72207B20736574687362636F6C6F72207D2062696E64206465660A2F65646765636F6C6F72207B20736574687362636F6C6F72207D2062696E64206465660A2F6772617068636F6C6F72207B20736574687362636F6C6F72207D2062696E64206465660A2F6E6F70636F6C6F72207B706F7020706F7020706F707D2062696E64206465660A0A2F626567696E70616765207B09252069206A206E70616765730A092F6E70616765732065786368206465660A092F6A2065786368206465660A092F692065786368206465660A092F73747220313020737472696E67206465660A096E70616765732031206774207B0A090967736176650A090909636F6F7264666F6E7420736574666F6E740A090909302030206D6F7665746F0A090909285C28292073686F77206920737472206376732073686F7720282C292073686F77206A20737472206376732073686F7720285C29292073686F770A090967726573746F72650A097D2069660A7D2062696E64206465660A0A2F7365745F666F6E74207B0A0966696E64666F6E7420657863680A097363616C65666F6E7420736574666F6E740A7D206465660A0A25206472617720746578742066697474656420746F206974732065787065637465642077696474680A2F616C69676E656474657874207B0909092520776964746820746578740A092F746578742065786368206465660A092F77696474682065786368206465660A0967736176650A090977696474682030206774207B0A0909095B5D203020736574646173680A0909097465787420737472696E67776964746820706F702077696474682065786368207375622074657874206C656E6774682064697620302074657874206173686F770A09097D2069660A0967726573746F72650A7D206465660A0A2F626F787072696D207B09090909252078636F726E65722079636F726E6572207873697A65207973697A650A090934203220726F6C6C0A09096D6F7665746F0A09093220636F70790A090965786368203020726C696E65746F0A090930206578636820726C696E65746F0A0909706F70206E6567203020726C696E65746F0A0909636C6F7365706174680A7D2062696E64206465660A0A2F656C6C697073655F70617468207B0A092F72792065786368206465660A092F72782065786368206465660A092F792065786368206465660A092F782065786368206465660A096D61747269782063757272656E746D61747269780A096E6577706174680A09782079207472616E736C6174650A097278207279207363616C650A093020302031203020333630206172630A097365746D61747269780A7D2062696E64206465660A0A2F656E6470616765207B2073686F7770616765207D2062696E64206465660A2F73686F7770616765207B207D206465660A0A2F6C61796572636F6C6F727365710A095B0925206C6179657220636F6C6F722073657175656E6365202D206461726B65737420746F206C696768746573740A09095B30203020305D0A09095B2E32202E38202E385D0A09095B2E34202E38202E385D0A09095B2E36202E38202E385D0A09095B2E38202E38202E385D0A095D0A6465660A0A2F6C617965726C656E206C61796572636F6C6F72736571206C656E677468206465660A0A2F7365746C61796572207B2F6D61786C61796572206578636820646566202F6375726C617965722065786368206465660A096C61796572636F6C6F72736571206375726C61796572203120737562206C617965726C656E206D6F64206765740A09616C6F616420706F7020736574687362636F6C6F720A092F6E6F6465636F6C6F72207B6E6F70636F6C6F727D206465660A092F65646765636F6C6F72207B6E6F70636F6C6F727D206465660A092F6772617068636F6C6F72207B6E6F70636F6C6F727D206465660A7D2062696E64206465660A0A2F6F6E6C61796572207B206375726C61796572206E65207B696E7669737D206966207D206465660A0A2F6F6E6C6179657273207B0A092F6D7975707065722065786368206465660A092F6D796C6F7765722065786368206465660A096375726C61796572206D796C6F776572206C740A096375726C61796572206D7975707065722067740A096F720A097B696E7669737D2069660A7D206465660A0A2F6375726C617965722030206465660A0A2525456E645265736F757263650A2525456E6450726F6C6F670A2525426567696E53657475700A31342064656661756C742D666F6E742D66616D696C79207365745F666F6E740A25202F6172726F776C656E677468203130206465660A25202F6172726F7777696474682035206465660A0A25206D616B652073757265207064666D61726B206973206861726D6C65737320666F722050532D696E74657270726574657273206F74686572207468616E2044697374696C6C65720A2F7064666D61726B207768657265207B706F707D207B7573657264696374202F7064666D61726B202F636C656172746F6D61726B206C6F6164207075747D206966656C73650A25206D616B6520273C3C2720616E6420273E3E272073616665206F6E205053204C6576656C203120646576696365730A2F6C616E67756167656C6576656C207768657265207B706F70206C616E67756167656C6576656C7D7B317D206966656C73650A32206C74207B0A20202020757365726469637420283C3C292063766E20285B292063766E206C6F6164207075740A20202020757365726469637420283E3E292063766E20285B292063766E206C6F6164207075740A7D2069660A0A2525456E6453657475700A73657475704C6174696E310A2525506167653A203120310A252550616765426F756E64696E67426F783A20333620333620323139203434300A2525506167654F7269656E746174696F6E3A20506F7274726169740A302030203120626567696E706167650A67736176650A3336203336203138332034303420626F787072696D20636C6970206E6577706174680A312031207365745F7363616C65203020726F74617465203430203430207472616E736C6174650A252076310A67736176650A31207365746C696E6577696474680A3020302030206E6F6465636F6C6F720A3134382033373820323720313820656C6C697073655F70617468207374726F6B650A3020302030206E6F6465636F6C6F720A3134202F54696D65732D526F6D616E207365745F666F6E740A313339203337342E33206D6F7665746F203138202876312920616C69676E6564746578740A67726573746F72650A252076320A67736176650A31207365746C696E6577696474680A3020302030206E6F6465636F6C6F720A3132312033303620323720313820656C6C697073655F70617468207374726F6B650A3020302030206E6F6465636F6C6F720A3134202F54696D65732D526F6D616E207365745F666F6E740A313132203330322E33206D6F7665746F203138202876322920616C69676E6564746578740A67726573746F72650A252076312D3E76320A67736176650A31207365746C696E6577696474680A30203020302065646765636F6C6F720A6E657770617468203134312E36303134203336302E343131206D6F7665746F0A3133382E34383634203335322E33333532203133342E36363633203334322E34333132203133312E31363534203333332E33353437206375727665746F0A7374726F6B650A30203020302065646765636F6C6F720A6E657770617468203133342E34303435203333322E30323637206D6F7665746F0A3132372E35343033203332332E39353632206C696E65746F0A3132372E38373335203333342E35343538206C696E65746F0A636C6F7365706174682066696C6C0A31207365746C696E6577696474680A736F6C69640A30203020302065646765636F6C6F720A6E657770617468203133342E34303435203333322E30323637206D6F7665746F0A3132372E35343033203332332E39353632206C696E65746F0A3132372E38373335203333342E35343538206C696E65746F0A636C6F736570617468207374726F6B650A67726573746F72650A252076330A67736176650A31207365746C696E6577696474680A3020302030206E6F6465636F6C6F720A31313820393020323720313820656C6C697073655F70617468207374726F6B650A3020302030206E6F6465636F6C6F720A3134202F54696D65732D526F6D616E207365745F666F6E740A3130392038362E33206D6F7665746F203138202876332920616C69676E6564746578740A67726573746F72650A252076312D3E76330A67736176650A31207365746C696E6577696474680A30203020302065646765636F6C6F720A6E657770617468203135312E36353338203335392E39303735206D6F7665746F0A3135332E36373538203334392E35363835203135352E39383038203333362E303930322031353720333234206375727665746F0A3136332E33363538203234382E34383738203134302E32323732203136302E36303431203132362E38353733203131372E353432206375727665746F0A7374726F6B650A30203020302065646765636F6C6F720A6E657770617468203133302E313337203131362E33303538206D6F7665746F0A3132332E37373134203130372E38333635206C696E65746F0A3132332E343636203131382E34323639206C696E65746F0A636C6F7365706174682066696C6C0A31207365746C696E6577696474680A736F6C69640A30203020302065646765636F6C6F720A6E657770617468203133302E313337203131362E33303538206D6F7665746F0A3132332E37373134203130372E38333635206C696E65746F0A3132332E343636203131382E34323639206C696E65746F0A636C6F736570617468207374726F6B650A67726573746F72650A252076340A67736176650A31207365746C696E6577696474680A3020302030206E6F6465636F6C6F720A34352032333420323720313820656C6C697073655F70617468207374726F6B650A3020302030206E6F6465636F6C6F720A3134202F54696D65732D526F6D616E207365745F666F6E740A3336203233302E33206D6F7665746F203138202876342920616C69676E6564746578740A67726573746F72650A252076322D3E76340A67736176650A31207365746C696E6577696474680A30203020302065646765636F6C6F720A6E657770617468203130352E36323033203239302E38333435206D6F7665746F0A39342E38303339203238302E3837322038302E31343332203236372E333638372036372E39343839203235362E31333731206375727665746F0A7374726F6B650A30203020302065646765636F6C6F720A6E6577706174682037302E30383335203235332E33343438206D6F7665746F0A36302E33353639203234392E31343435206C696E65746F0A36352E33343132203235382E34393337206C696E65746F0A636C6F7365706174682066696C6C0A31207365746C696E6577696474680A736F6C69640A30203020302065646765636F6C6F720A6E6577706174682037302E30383335203235332E33343438206D6F7665746F0A36302E33353639203234392E31343435206C696E65746F0A36352E33343132203235382E34393337206C696E65746F0A636C6F736570617468207374726F6B650A67726573746F72650A252076332D3E76320A67736176650A31207365746C696E6577696474680A30203020302065646765636F6C6F720A6E657770617468203131382E32343136203130382E32333235206D6F7665746F0A3131382E37363136203134352E33323433203131392E39393034203233322E39383038203132302E36313735203237372E37313234206375727665746F0A7374726F6B650A30203020302065646765636F6C6F720A6E657770617468203131372E31313936203237372E38393933206D6F7665746F0A3132302E37353936203238372E38343932206C696E65746F0A3132342E313139203237372E38303131206C696E65746F0A636C6F7365706174682066696C6C0A31207365746C696E6577696474680A736F6C69640A30203020302065646765636F6C6F720A6E657770617468203131372E31313936203237372E38393933206D6F7665746F0A3132302E37353936203238372E38343932206C696E65746F0A3132342E313139203237372E38303131206C696E65746F0A636C6F736570617468207374726F6B650A67726573746F72650A252076332D3E76340A67736176650A31207365746C696E6577696474680A30203020302065646765636F6C6F720A6E657770617468203131322E31353239203130372E38363637206D6F7665746F0A3130352E35363033203132362E313230342039342E30343431203135352E3835353420383120313830206375727665746F0A37352E36383634203138392E383335342036382E39393636203230302E313136372036322E3833203230382E393738206375727665746F0A7374726F6B650A30203020302065646765636F6C6F720A6E6577706174682035392E38353632203230372E31323034206D6F7665746F0A35362E39303832203231372E32393638206C696E65746F0A36352E35353839203231312E31373939206C696E65746F0A636C6F7365706174682066696C6C0A31207365746C696E6577696474680A736F6C69640A30203020302065646765636F6C6F720A6E6577706174682035392E38353632203230372E31323034206D6F7665746F0A35362E39303832203231372E32393638206C696E65746F0A36352E35353839203231312E31373939206C696E65746F0A636C6F736570617468207374726F6B650A67726573746F72650A252076350A67736176650A31207365746C696E6577696474680A3020302030206E6F6465636F6C6F720A34352031363220323720313820656C6C697073655F70617468207374726F6B650A3020302030206E6F6465636F6C6F720A3134202F54696D65732D526F6D616E207365745F666F6E740A3336203135382E33206D6F7665746F203138202876352920616C69676E6564746578740A67726573746F72650A252076342D3E76350A67736176650A31207365746C696E6577696474680A30203020302065646765636F6C6F720A6E6577706174682033392E31363031203231362E343131206D6F7665746F0A33382E32393735203230382E3530372033382E30343831203139382E383531382033382E34313139203138392E39333532206375727665746F0A7374726F6B650A30203020302065646765636F6C6F720A6E6577706174682034312E39303333203139302E31373931206D6F7665746F0A33392E31323036203137392E39353632206C696E65746F0A33342E39323039203138392E36383331206C696E65746F0A636C6F7365706174682066696C6C0A31207365746C696E6577696474680A736F6C69640A30203020302065646765636F6C6F720A6E6577706174682034312E39303333203139302E31373931206D6F7665746F0A33392E31323036203137392E39353632206C696E65746F0A33342E39323039203138392E36383331206C696E65746F0A636C6F736570617468207374726F6B650A67726573746F72650A252076360A67736176650A31207365746C696E6577696474680A3020302030206E6F6465636F6C6F720A323720393020323720313820656C6C697073655F70617468207374726F6B650A3020302030206E6F6465636F6C6F720A3134202F54696D65732D526F6D616E207365745F666F6E740A31382038362E33206D6F7665746F203138202876362920616C69676E6564746578740A67726573746F72650A252076342D3E76360A67736176650A31207365746C696E6577696474680A30203020302065646765636F6C6F720A6E6577706174682033312E32343936203231382E30363838206D6F7665746F0A32332E30333932203230382E313030332031332E333831203139342E32343639203920313830206375727665746F0A322E35373932203135392E3131393820382E33383338203133342E373636372031352E30353939203131362E38313836206375727665746F0A7374726F6B650A30203020302065646765636F6C6F720A6E6577706174682031382E33393733203131372E39303131206D6F7665746F0A31382E38393535203130372E33313739206C696E65746F0A31312E39303633203131352E32383034206C696E65746F0A636C6F7365706174682066696C6C0A31207365746C696E6577696474680A736F6C69640A30203020302065646765636F6C6F720A6E6577706174682031382E33393733203131372E39303131206D6F7665746F0A31382E38393535203130372E33313739206C696E65746F0A31312E39303633203131352E32383034206C696E65746F0A636C6F736570617468207374726F6B650A67726573746F72650A252076352D3E76330A67736176650A31207365746C696E6577696474680A30203020302065646765636F6C6F720A6E6577706174682035392E37373236203134362E38333435206D6F7665746F0A37302E313632203133362E3837322038342E32343431203132332E333638372039352E393537203131322E31333731206375727665746F0A7374726F6B650A30203020302065646765636F6C6F720A6E6577706174682039382E34353339203131342E353932206D6F7665746F0A3130332E32343933203130352E31343435206C696E65746F0A39332E363039203130392E35333935206C696E65746F0A636C6F7365706174682066696C6C0A31207365746C696E6577696474680A736F6C69640A30203020302065646765636F6C6F720A6E6577706174682039382E34353339203131342E353932206D6F7665746F0A3130332E32343933203130352E31343435206C696E65746F0A39332E363039203130392E35333935206C696E65746F0A636C6F736570617468207374726F6B650A67726573746F72650A252076352D3E76340A67736176650A31207365746C696E6577696474680A30203020302065646765636F6C6F720A6E6577706174682035302E38373934203137392E39353632206D6F7665746F0A35312E37313339203138372E383237322035312E39343835203139372E333733392035312E35383331203230362E31383639206375727665746F0A7374726F6B650A30203020302065646765636F6C6F720A6E6577706174682034382E30373432203230362E31383335206D6F7665746F0A35302E38333939203231362E343131206C696E65746F0A35352E30353538203230362E36393131206C696E65746F0A636C6F7365706174682066696C6C0A31207365746C696E6577696474680A736F6C69640A30203020302065646765636F6C6F720A6E6577706174682034382E30373432203230362E31383335206D6F7665746F0A35302E38333939203231362E343131206C696E65746F0A35352E30353538203230362E36393131206C696E65746F0A636C6F736570617468207374726F6B650A67726573746F72650A252076352D3E76360A67736176650A31207365746C696E6577696474680A30203020302065646765636F6C6F720A6E6577706174682034302E36343237203134342E303535206D6F7665746F0A33382E36303836203133362E313434362033362E31333838203132362E353339382033332E38363236203131372E36383739206375727665746F0A7374726F6B650A30203020302065646765636F6C6F720A6E6577706174682033372E31393734203131362E36303233206D6F7665746F0A33312E33313732203130372E373839206C696E65746F0A33302E34313739203131382E33343536206C696E65746F0A636C6F7365706174682066696C6C0A31207365746C696E6577696474680A736F6C69640A30203020302065646765636F6C6F720A6E6577706174682033372E31393734203131362E36303233206D6F7665746F0A33312E33313732203130372E373839206C696E65746F0A33302E34313739203131382E33343536206C696E65746F0A636C6F736570617468207374726F6B650A67726573746F72650A252076370A67736176650A31207365746C696E6577696474680A3020302030206E6F6465636F6C6F720A323720313820323720313820656C6C697073655F70617468207374726F6B650A3020302030206E6F6465636F6C6F720A3134202F54696D65732D526F6D616E207365745F666F6E740A31382031342E33206D6F7665746F203138202876372920616C69676E6564746578740A67726573746F72650A252076362D3E76370A67736176650A31207365746C696E6577696474680A30203020302065646765636F6C6F720A6E6577706174682032372037312E36393636206D6F7665746F0A32372036332E393832372032372035342E373132352032372034362E31313234206375727665746F0A7374726F6B650A30203020302065646765636F6C6F720A6E6577706174682033302E353030312034362E31303433206D6F7665746F0A32372033362E31303433206C696E65746F0A32332E353030312034362E31303434206C696E65746F0A636C6F7365706174682066696C6C0A31207365746C696E6577696474680A736F6C69640A30203020302065646765636F6C6F720A6E6577706174682033302E353030312034362E31303433206D6F7665746F0A32372033362E31303433206C696E65746F0A32332E353030312034362E31303434206C696E65746F0A636C6F736570617468207374726F6B650A67726573746F72650A656E64706167650A73686F77706167650A67726573746F72650A252550616765547261696C65720A2525456E64506167653A20310A2525547261696C65720A656E640A726573746F72650A2525454F460A>|ps>||400px||>>
    </with>
  </with>

  <tmdoc-copyright|2019\U2021|\<#6C88\>\<#8FBE\>, Massimiliano Gubinelli>

  <tmdoc-license|Permission is granted to copy, distribute and/or modify this
  document under the terms of the GNU Free Documentation License, Version 1.1
  or any later version published by the Free Software Foundation; with no
  Invariant Sections, with no Front-Cover Texts, and with no Back-Cover
  Texts. A copy of the license is included in the section entitled "GNU Free
  Documentation License".>
</body>

<\initial>
  <\collection>
    <associate|par-hyphen|normal>
    <associate|preamble|false>
  </collection>
</initial>